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