Module Base.Hptset

module Hptset: Hptset.S 
  with type elt = t
  and type 'a shape = 'a Hptmap.Shape(Base).t

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 fold2_join_heterogeneous : cache:Hptmap.cache_type ->
empty_left:('a shape -> 'b) ->
empty_right:(t -> 'b) ->
both:(elt -> 'a -> 'b) ->
join:('b -> 'b -> 'b) -> empty:'b -> t -> 'a shape -> 'b
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.