Module HashCons.Make

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

type data = M.key
val make : data -> data cell