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