module Lmap:sig
..end
Offsetmap
module.module Make_LOffset:functor (
V
:
module type of Offsetmap_lattice_with_isotropy
) ->
functor (
Offsetmap
:
module type of Offsetmap_sig
with type v = V.t and type widen_hint = V.widen_hint
) ->
functor (
Default_offsetmap
:
sig
val default_offsetmap :Base.t -> Offsetmap.t
end
) ->
module type of Lmap_sig
with type v = V.t and type widen_hint_base = V.widen_hint and type offsetmap = Offsetmap.t