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.generic_widen_hint
Maps from intervals to values. The documentation of the returned
maps is in module Offsetmap_sig
.
Parameters: |
|