Module Abstractions.S.Dom

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:
val set : 'a Abstract_domain.key -> 'a -> t -> t
For a key of type k key: