module Make_Hashconsed_Lattice_Set:
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: |
|