1MoreLabels.Set.S(3) OCamldoc MoreLabels.Set.S(3)
2
3
4
6 MoreLabels.Set.S - no description
7
9 Module type MoreLabels.Set.S
10
12 Module type S
13 = sig end
14
15
16
17
18
19
20
21 type elt
22
23
24
25
26 type t
27
28
29
30
31
32 val empty : t
33
34
35
36
37 val is_empty : t -> bool
38
39
40
41
42 val mem : elt -> t -> bool
43
44
45
46
47 val add : elt -> t -> t
48
49
50
51
52 val singleton : elt -> t
53
54
55
56
57 val remove : elt -> t -> t
58
59
60
61
62 val union : t -> t -> t
63
64
65
66
67 val inter : t -> t -> t
68
69
70
71
72 val diff : t -> t -> t
73
74
75
76
77 val compare : t -> t -> int
78
79
80
81
82 val equal : t -> t -> bool
83
84
85
86
87 val subset : t -> t -> bool
88
89
90
91
92 val iter : f:(elt -> unit) -> t -> unit
93
94
95
96
97 val map : f:(elt -> elt) -> t -> t
98
99
100
101
102 val fold : f:(elt -> 'a -> 'a) -> t -> init:'a -> 'a
103
104
105
106
107 val for_all : f:(elt -> bool) -> t -> bool
108
109
110
111
112 val exists : f:(elt -> bool) -> t -> bool
113
114
115
116
117 val filter : f:(elt -> bool) -> t -> t
118
119
120
121
122 val partition : f:(elt -> bool) -> t -> t * t
123
124
125
126
127 val cardinal : t -> int
128
129
130
131
132 val elements : t -> elt list
133
134
135
136
137 val min_elt : t -> elt
138
139
140
141
142 val min_elt_opt : t -> elt option
143
144
145
146
147 val max_elt : t -> elt
148
149
150
151
152 val max_elt_opt : t -> elt option
153
154
155
156
157 val choose : t -> elt
158
159
160
161
162 val choose_opt : t -> elt option
163
164
165
166
167 val split : elt -> t -> t * bool * t
168
169
170
171
172 val find : elt -> t -> elt
173
174
175
176
177 val find_opt : elt -> t -> elt option
178
179
180
181
182 val find_first : f:(elt -> bool) -> t -> elt
183
184
185
186
187 val find_first_opt : f:(elt -> bool) -> t -> elt option
188
189
190
191
192 val find_last : f:(elt -> bool) -> t -> elt
193
194
195
196
197 val find_last_opt : f:(elt -> bool) -> t -> elt option
198
199
200
201
202 val of_list : elt list -> t
203
204
205
206
207
208
2092018-04-14 source: MoreLabels.Set.S(3)