Parameter MakeRec.1-X

type t
val hashcons : (t -> t) -> t -> t
val eq : t -> t -> bool
val hash : t -> int