Functor Abstract_interp.Make_Hashconsed_Lattice_Set

module Make_Hashconsed_Lattice_Set: 
functor (V : Hptmap.Id_Datatype) ->
functor (O : Hptset.S with type elt = V.t) -> Lattice_Hashconsed_Set with module O = O
See e.g. base.ml and locations.ml to see how this functor should be applied. The O module passed as argument is the same as O in the result. It is passed here to avoid having multiple modules calling Hptset.Make on the same argument (which is forbidden by the datatype library, and would cause hashconding problems)
Parameters:
V : Hptmap.Id_Datatype
O : Hptset.S with type elt = V.t