AltErgoLib.Hconsing
Generic Hashconsing.
This module defines generic hashconsing over structures.
module type HASHED = sig ... end
Hashed values.
module type S = sig ... end
Hashconsed values
module Make (H : HASHED) : S with type t = H.elt
Functor to create a hashconsing module from a module describing values.