module Symbolic_locs:sig
..end
Domain that store information on non-precise l-values such as
t[i]
or *p
when i
or p
is not exact.
module D:Abstract_domain.Internal
with type value = Cvalue.V.t and type location = Precise_locs.precise_location