setr

Abstract domain library for sets
IN THIS PACKAGE
type !+'a hash_consed = private {
hkey : int;
tag : int;
node : 'a;
}
type 'a t
val create : int -> 'a t
val clear : 'a t -> unit
val hashcons : 'a t -> 'a -> 'a hash_consed
val iter : ( 'a hash_consed -> unit ) -> 'a t -> unit
val stats : 'a t -> int * int * int * int * int * int
module type HashedType = sig ... end
module type S = sig ... end
module Make (H : HashedType) : sig ... end