Tjr_set
type ('e, 't) set_ops
=
{
empty : unit -> 't;
is_empty : 't -> bool;
mem : 'e -> 't -> bool;
add : 'e -> 't -> 't;
remove : 'e -> 't -> 't;
of_list : 'e list -> 't;
union : 't -> 't -> 't;
diff : 't -> 't -> 't;
cardinal : 't -> int;
choose : 't -> 'e;
iter : ('e -> unit) -> 't -> unit;
}
module Make : functor (Ord : Set.OrderedType) -> sig ... end
module Int_set : sig ... end
module String_set : sig ... end