Frama-C API - DepsOfInput
Input for MakeDepsOf functor.
val enumerate_valid_bits : Frama_c_kernel.Locations.access -> location -> Frama_c_kernel.Memory_zone.tSee Abstract_location.enumerate_valid_bits
Frama-C Frama-C DepsOfInputInput for MakeDepsOf functor.
val enumerate_valid_bits : Frama_c_kernel.Locations.access -> location -> Frama_c_kernel.Memory_zone.tSee Abstract_location.enumerate_valid_bits