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.