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.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.