sig type t val equal : Mweak.WeakHashable.t -> Mweak.WeakHashable.t -> bool val hash : Mweak.WeakHashable.t -> int val pretty : Format.formatter -> Mweak.WeakHashable.t -> unit end