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
Offsetmap_bitwise_sig
.Parameters: |
|