Flashnux

GNU/Linux man pages

• CentOS
• Debian
• Red Hat
• Ubuntu
• Unix

Livre :
Expressions régulières,
Syntaxe et mise en oeuvre :

ISBN : 978-2-7460-9712-4
EAN : 9782746097124
(Editions ENI)

GNU/Linux	Debian 7.3.0 (Wheezy)
	MoreLabels.Map.OrderedType(3o)

---

MoreLabels.Map.OrderedType

NAME
Module type
Documentation

---

NAME

MoreLabels.Map.OrderedType − no description

Module type

Module type MoreLabels.Map.OrderedType

Documentation

Module type OrderedType
= Map.OrderedType

type t

The type of the map keys.

val compare : t -> t -> int

A total ordering function over the keys. This is a two−argument function f such that f e1 e2 is zero if the keys e1 and e2 are equal, f e1 e2 is strictly negative if e1 is smaller than e2 , and f e1 e2 is strictly positive if e1 is greater than e2 . Example: a suitable ordering function is the generic structural comparison function Pervasives.compare .

---

---

MoreLabels.Map.OrderedType(3o)