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

type y = VALUE.t 
type of the values associated to the locations
type widen_hint_offsetmap = VALUE.widen_hint 
module Make: 
functor (Default_offsetmap : sig
val default_offsetmap : Base.t -> LOffset.t
end) -> sig .. end