Frama_c_kernel.Addresses
Represent a set of addresses by associating bases with offsets.
module Bytes : sig ... end
Association between bases and offsets in byte.
module Bits : sig ... end
Association between bases and offsets in bits.