module Make: functor (V : Lattice_With_Isotropy.S) -> module type of Offsetmap_sig with type v = V.t and type widen_hint = V.widen_hint
functor (
V
:
Lattice_With_Isotropy.S
) ->
module type of Offsetmap_sig
with type v = V.t and type widen_hint = V.widen_hint