sig
  type t = RefUsage.access
  val cup : RefUsage.??.t -> RefUsage.??.t -> RefUsage.??.t
end