HashCons.Make
The functor Make expects a type data for which a memoizer exists, and produces a hash-consing service for it.
Make
data
module M : sig ... end
type data = M.key
val make : data -> data cell