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