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
module T : Types.PRINTABLE
include Types.TYPE with type t = T.t Hashconsing.hash_consed
include Types.PRINTABLE with type t = T.t Hashconsing.hash_consed
type t = T.t Hashconsing.hash_consed
val order : t -> t -> Types.order
val hash : t -> int
val to_int : t -> int