module Dom: Abstract_domain.External with type value = Val.t
and type location = Loc.location
include Abstract_domain.S
val mem : 'a Abstract_domain.key -> bool
Tests whether a key belongs to the domain.
val get : 'a Abstract_domain.key -> (t -> 'a) option
For a key of type
k key:
- if the states of this domain (of type
t) contain a part (of type k)
from the domain identified by the key,
then get key returns an accessor for this part of a state.
- otherwise,
get key returns None.
val set : 'a Abstract_domain.key -> 'a -> t -> t
For a key of type
k key:
- if the states of this domain (of type
t) contain a part (of type k)
from the domain identified by the key,
then set key d state returns the state state in which this part
has been replaced by d.
- otherwise,
set key _ is the identity function.