Functor Location_lift.Make

module Make: 
functor (Loc : Abstract_location.Leaf-> 
functor (Convert : Conversion with type internal_value := Loc.value-> Abstract.Location.Internal with type location = Loc.location and type offset = Loc.offset and type value = Convert.extended_value
Parameters:
Loc : Abstract_location.Leaf
Convert : Conversion with type internal_value := Loc.value

include Abstract_location.S
val structure : location structure