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)