Parameter Hashcons.2-_

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