Frama_c_kernel.OffsetmapMaps from intervals to values.
module Make
(V : Offsetmap_lattice_with_isotropy.S) :
Offsetmap_sig.S
with type v = V.t
and type widen_hint = V.numerical_widen_hintMaps from intervals to values. The documentation of the returned maps is in module Offsetmap_sig.
module Make_bitwise
(V : sig ... end) :
Offsetmap_bitwise_sig.S
with type v = V.t
and type intervals = Int_Intervals.tMaps from intervals to simple values. The documentation of the returned maps is in module Offsetmap_bitwise_sig.