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       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  or‐
35       dering function is the generic structural comparison function compare .
36
37
38
39
40
41OCamldoc                          2023-01-23                Map.OrderedType(3)
Impressum