1MoreLabels.Map.OrderedType(3) OCaml library MoreLabels.Map.OrderedType(3)
2
3
4
6 MoreLabels.Map.OrderedType - no description
7
9 Module type MoreLabels.Map.OrderedType
10
12 Module type OrderedType
13 = Map.OrderedType
14
15
16
17
18
19
20
21 type t
22
23
24 The type of the map keys.
25
26
27
28
29 val compare : t -> t -> int
30
31 A total ordering function over the keys. This is a two-argument func‐
32 tion f such that f e1 e2 is zero if the keys e1 and e2 are equal, f e1
33 e2 is strictly negative if e1 is smaller than e2 , and f e1 e2 is
34 strictly positive if e1 is greater than e2 . Example: a suitable
35 ordering function is the generic structural comparison function Perva‐
36 sives.compare .
37
38
39
40
41
42
43OCamldoc 2010-01-29 MoreLabels.Map.OrderedType(3)