sig
val with_current_loc : Cil_types.location -> ('a -> 'b) -> 'a -> 'b
type 'a value
val create : ?default:'a -> string -> 'a Context.value
val defined : 'a Context.value -> bool
val get : 'a Context.value -> 'a
val get_opt : 'a Context.value -> 'a option
val set : 'a Context.value -> 'a -> unit
val update : 'a Context.value -> ('a -> 'a) -> unit
val bind : 'a Context.value -> 'a -> ('b -> 'c) -> 'b -> 'c
val free : 'a Context.value -> ('b -> 'c) -> 'b -> 'c
val clear : 'a Context.value -> unit
val push : 'a Context.value -> 'a -> 'a option
val pop : 'a Context.value -> 'a option -> unit
val name : 'a Context.value -> string
val register : (unit -> unit) -> unit
val configure : unit -> unit
end