module Offsetmap:sig
..end
Maps from intervals to values.
module Make:functor (
V
:
module type of Offsetmap_lattice_with_isotropy
) ->
module type of Offsetmap_sig
with type v = V.t and type widen_hint = V.generic_widen_hint
Maps from intervals to values.
module Make_bitwise:functor (
V
:
sig
include Lattice_type.Bounded_Join_Semi_Lattice
include Lattice_type.With_Narrow
include Lattice_type.With_Top
end
) ->
module type of Offsetmap_bitwise_sig
with type v = V.t and type intervals = Int_Intervals.t
Maps from intervals to simple values.