1Map.OrderedType(3)                 OCamldoc                 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       type t
23
24
25       The type of the map keys.
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
422018-04-14                          source:                 Map.OrderedType(3)