Module Lmap_whole


module Lmap_whole: sig .. end
Functor making map for whole values with locations as keys

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