setr

Abstract domain library for sets
IN THIS PACKAGE

Parameters

module H : HashedType

Signature

type key = H.t
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