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