Module HashCons.MakeSource

The functor Make expects a type data for which a memoizer exists, and produces a hash-consing service for it.

Parameters

module M : sig ... end

Signature

Sourcetype data = M.key
Sourceval make : data -> data cell