1Map.OrderedType(3)               OCaml library              Map.OrderedType(3)
2
3
4

NAME

6       Map.OrderedType - Input signature of the functor Map.Make.
7

Module type

9       Module type   Map.OrderedType
10

Documentation

12       Module type OrderedType
13        = sig end
14
15
16       Input signature of the functor Map.Make .
17
18
19
20
21
22
23       type t
24
25
26       The type of the map keys.
27
28
29
30
31       val compare : t -> t -> int
32
33       A  total ordering function over the keys.  This is a two-argument func‐
34       tion f such that f e1 e2 is zero if the keys e1 and e2 are equal, f  e1
35       e2  is  strictly  negative  if  e1  is smaller than e2 , and f e1 e2 is
36       strictly positive if e1 is greater  than  e2  .   Example:  a  suitable
37       ordering  function is the generic structural comparison function Perva‐
38       sives.compare .
39
40
41
42
43
44
45OCamldoc                          2007-05-24                Map.OrderedType(3)