X.Ctx
val top : t
The default context used in a top abstract state, or if no domain has been enabled — or no domain providing this context.
val narrow : t -> t -> t Eva.Eval.or_bottom
In a product of abstract domains, merges the context provided by the abstract state of each domain.
val structure : t Eva__.Abstract.Context.structure
val get : 'a Eva__.Structure.Key_Context.key -> (t -> 'a) option
For a key of type k key
:
t
contain a subpart of type k
from a module identified by the key, then get key
returns an accessor for it.get key
returns None.For a key of type k key
:
t
contain a subpart of type k
from a module identified by the key, then set key v t
returns the value t
in which this subpart has been replaced by v
.set key _
is the identity function.Iterators on the components of a structure.
val iter : polymorphic_iter_fun -> t -> unit
val fold : 'b polymorphic_fold_fun -> t -> 'b -> 'b
val map : polymorphic_map_fun -> t -> t