sig
  type t
  val bot : RefUsage.??.t
  val cup : RefUsage.??.-> RefUsage.??.-> RefUsage.??.t
  val fcup : ('-> RefUsage.??.t) -> 'a list -> RefUsage.??.t
  val get : RefUsage.var -> RefUsage.??.-> RefUsage.access
  val access :
    RefUsage.var -> RefUsage.access -> RefUsage.??.-> RefUsage.??.t
  val bind : Cil_types.logic_var list -> RefUsage.??.-> RefUsage.??.t
end