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