setr

Abstract domain library for sets
IN THIS PACKAGE
Module type SETr_DS_HashCons . S
type key
type t
val create : int -> t
val clear : t -> unit
val hashcons : t -> key -> key hash_consed
val iter : ( key hash_consed -> unit ) -> t -> unit
val stats : t -> int * int * int * int * int * int