module Lmap:Functors making map indexed by locations.sig
..end
exception Cannot_copy
module type Location_map =sig
..end
module Make_LOffset:functor (
VALUE
:
Lattice_With_Isotropy.S
) ->
functor (
LOffset
:
Offsetmap.S
with type y = VALUE.t and type widen_hint = VALUE.widen_hint
) ->
Location_map
with type y = VALUE.t and type widen_hint_offsetmap = VALUE.widen_hint and type loffset = LOffset.t