Eva_ast.DepsOfInput
Input for MakeDepsOf functor.
MakeDepsOf
type location
val enumerate_valid_bits : Frama_c_kernel.Locations.access -> location -> Frama_c_kernel.Locations.Zone.t
See Abstract_location.enumerate_valid_bits
Abstract_location.enumerate_valid_bits