1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
|
(******************************************************************************
* Core *
* *
* Copyright (C) 2008- Jane Street Holding, LLC *
* Contact: opensource@janestreet.com *
* WWW: http://www.janestreet.com/ocaml *
* *
* *
* This library is free software; you can redistribute it and/or *
* modify it under the terms of the GNU Lesser General Public *
* License as published by the Free Software Foundation; either *
* version 2 of the License, or (at your option) any later version. *
* *
* This library is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *
* Lesser General Public License for more details. *
* *
* You should have received a copy of the GNU Lesser General Public *
* License along with this library; if not, write to the Free Software *
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
* *
******************************************************************************)
(* A mutable set of elements *)
type 'a t
val copy : 'a t -> 'a t (* preserves the equality function *)
val add : 'a t -> 'a -> unit
val strict_add : 'a t -> 'a -> unit
val remove : 'a t -> 'a -> unit
val strict_remove : 'a t -> 'a -> unit
val clear : 'a t -> unit
val fold : 'a t -> init:'b -> f:('b -> 'a -> 'b) -> 'b
val iter : 'a t -> f:('a -> unit) -> unit
val length : 'a t -> int
val mem : 'a t -> 'a -> bool
val is_empty : 'a t -> bool
val to_list : 'a t -> 'a list
val equal : 'a t -> 'a t -> bool
val filter : 'a t -> f:('a -> bool) -> 'a t
val diff : 'a t -> 'a t -> 'a t
type 'a hash_set = 'a t
(* A hash set that uses polymorphic comparison *)
module Poly : sig
type 'a t = 'a hash_set
include Sexpable.S1 with type 'a sexpable = 'a t
val create : ?growth_allowed:bool -> ?size:int -> unit -> 'a t
val of_list : 'a list -> 'a t
end
module Make (H : Core_hashtbl.Key) : sig
type elem = H.t
type t = elem hash_set
val create : ?growth_allowed:bool -> ?size:int -> unit -> t
val of_list : H.t list -> t
include Sexpable.S with type sexpable = t
end
module Make_binable (H : sig
include Core_hashtbl.Key
include Binable.S with type binable = t
end) : sig
type elem = H.t
type t = elem hash_set
val create : ?growth_allowed:bool -> ?size:int -> unit -> t
val of_list : H.t list -> t
include Sexpable.S with type sexpable = t
include Binable.S with type binable = t
end
|
