module type S = sig
.. end
Output signature of the functor
Set.Make
.
include Datatype.S_with_collections
include FCSet.S_Basic_Compare
The datatype of sets.
val contains_single_elt : t -> elt option
val intersects : t -> t -> bool
intersects s1 s2
returns true
if and only if s1
and s2
have an element in common
type 'a
shape
Shape of the set, ie. the unique shape of its OCaml value.
val shape : t -> unit shape
Export the shape of the set.
val from_shape : 'a shape -> t
Build a set from another elt
-indexed map or set.
val clear_caches : unit -> unit
Clear all the caches used internally by the functions of this module.
Those caches are not project-aware, so this function must be called
at least each a project switch occurs.