Module type Lmap.Location_map


module type Location_map = sig .. end

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