Module Lmap


module Lmap: sig .. end
Functors making map indexed by locations.
Consult the Plugin Development Guide for additional details.

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