Parameter Hashcons.2-H

type t = M.t
val hash : t -> int