sig
  type t = RefUsage.var
  val hash : RefUsage.var -> int
  val compare : RefUsage.var -> RefUsage.var -> int
  val equal : RefUsage.var -> RefUsage.var -> bool
  val pretty : Format.formatter -> RefUsage.var -> unit
end