1MoreLabels.Set.Make(3) OCaml library MoreLabels.Set.Make(3)
2
3
4
6 MoreLabels.Set.Make - no description
7
9 Module MoreLabels.Set.Make
10
12 Module Make
13 : functor (Ord : OrderedType) -> sig end
14
15
16
17
18 Parameters:
19
20 "Ord"
21
22 MoreLabels.Set.OrderedType
23
24
25
26
27
28
29
30 type elt
31
32
33
34
35 type t
36
37
38
39
40
41 val empty : t
42
43
44
45
46 val is_empty : t -> bool
47
48
49
50
51 val mem : elt -> t -> bool
52
53
54
55
56 val add : elt -> t -> t
57
58
59
60
61 val singleton : elt -> t
62
63
64
65
66 val remove : elt -> t -> t
67
68
69
70
71 val union : t -> t -> t
72
73
74
75
76 val inter : t -> t -> t
77
78
79
80
81 val diff : t -> t -> t
82
83
84
85
86 val compare : t -> t -> int
87
88
89
90
91 val equal : t -> t -> bool
92
93
94
95
96 val subset : t -> t -> bool
97
98
99
100
101 val iter : f:(elt -> unit) -> t -> unit
102
103
104
105
106 val fold : f:(elt -> 'a -> 'a) -> t -> init:'a -> 'a
107
108
109
110
111 val for_all : f:(elt -> bool) -> t -> bool
112
113
114
115
116 val exists : f:(elt -> bool) -> t -> bool
117
118
119
120
121 val filter : f:(elt -> bool) -> t -> t
122
123
124
125
126 val partition : f:(elt -> bool) -> t -> t * t
127
128
129
130
131 val cardinal : t -> int
132
133
134
135
136 val elements : t -> elt list
137
138
139
140
141 val min_elt : t -> elt
142
143
144
145
146 val max_elt : t -> elt
147
148
149
150
151 val choose : t -> elt
152
153
154
155
156 val split : elt -> t -> t * bool * t
157
158
159
160
161
162
163OCamldoc 2007-05-24 MoreLabels.Set.Make(3)