Module Imandrakit.Hashcons

Basic hashconsing.

module type ARG = sig ... end

Necessary arguments for hashconsing.

module Make (A : ARG) : sig ... end

Create a new hashconsed type.