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