module Lmap_whole:Functor making map for whole values with locations as keyssig
..end
exception Cannot_copy
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
) ->
sig
..end