Functor Abstract_interp.Make_Hashconsed_Lattice_Set


module Make_Hashconsed_Lattice_Set: 
functor (V : Value_With_Id) -> Lattice_Set with type O.elt=V.t
Parameters:
V : Value_With_Id

module O: Ptset.S 

type tt = private
| Set of O.t
| Top
include Abstract_interp.Lattice
val hash : t -> int
val inject_singleton : O.elt -> t
val inject : O.t -> t
val empty : t
val apply2 : (O.elt -> O.elt -> O.elt) -> t -> t -> t
val apply1 : (O.elt -> O.elt) -> t -> t
val fold : (O.elt -> 'a -> 'a) -> t -> 'a -> 'a
val iter : (O.elt -> unit) -> t -> unit
val project : t -> O.t
val mem : O.elt -> t -> bool