Module RefUsage.E

module E: sig .. end

type t = RefUsage.access Xmap.t 
val bot : 'a Xmap.t
val cup : RefUsage.Access.t Xmap.t ->
RefUsage.Access.t Xmap.t -> RefUsage.Access.t Xmap.t
val fcup : ('a -> RefUsage.Access.t Xmap.t) ->
'a list -> RefUsage.Access.t Xmap.t
val get : Xmap.key -> RefUsage.access Xmap.t -> RefUsage.access
val access : Xmap.key ->
RefUsage.Access.t ->
RefUsage.Access.t Xmap.t -> RefUsage.Access.t Xmap.t
val bind : Cil_types.logic_var list -> 'a Xmap.t -> 'a Xmap.t