Functor Lmap.Make_LOffset


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
Parameters:
VALUE : Lattice_With_Isotropy.S
LOffset : Offsetmap.S with type y = VALUE.t and type widen_hint = VALUE.widen_hint

type y 
type of the values associated to the locations
type loffset 
type widen_hint_offsetmap 
module Make: 
functor (Default_offsetmap : sig
val default_offsetmap : Base.t -> Lmap.Location_map.loffset
end) -> sig .. end