1Set(3)                           OCaml library                          Set(3)
2
3
4

NAME

6       Set - Sets over ordered types.
7

Module

9       Module   Set
10

Documentation

12       Module Set
13        : sig end
14
15
16       Sets over ordered types.
17
18       This  module  implements the set data structure, given a total ordering
19       function over the set elements. All operations  over  sets  are  purely
20       applicative (no side-effects).  The implementation uses balanced binary
21       trees, and is therefore reasonably efficient: insertion and  membership
22       take time logarithmic in the size of the set, for instance.
23
24       The  Set.Make  functor constructs implementations for any type, given a
25       compare function.  For instance: module IntPairs = struct type t =  int
26       *  int  let compare (x0,y0) (x1,y1) = match Stdlib.compare x0 x1 with 0
27       -> Stdlib.compare y0 y1 | c -> c end module  PairsSet  =  Set.Make(Int‐
28       Pairs)  let  m  =  PairsSet.(empty  |>  add  (2,3)  |> add (5,7) |> add
29       (11,13))
30
31       This creates a new module PairsSet , with a new type PairsSet.t of sets
32       of int * int .
33
34
35
36
37
38       module type OrderedType = sig end
39
40
41       Input signature of the functor Set.Make .
42
43
44       module type S = sig end
45
46
47       Output signature of the functor Set.Make .
48
49
50       module Make : functor (Ord : OrderedType) -> sig end
51
52
53       Functor building an implementation of the set structure given a totally
54       ordered type.
55
56
57
58
59
60OCamldoc                          2019-07-30                            Set(3)