Module Instances.InstanciateHcons

We can instanciate Hcons with fewer paramters, since compare, equal and hash are built-in and don't depend on T.compare, T.equal and T.hash

Parameters

Signature

include Types.TYPE with type t = T.t Hashconsing.hash_consed
val compare : t -> t -> int
val order : t -> t -> Types.order
val equal : t -> t -> bool
val hash : t -> int
val to_int : t -> int