Module AltErgoLib.HconsingSource

Generic Hashconsing.

This module defines generic hashconsing over structures.

Hashconsing

Sourcemodule type HASHED = sig ... end

Hashed values.

Sourcemodule type S = sig ... end

Hashconsed values

Sourcemodule Make (H : HASHED) : S with type t = H.elt

Functor to create a hashconsing module from a module describing values.