Functor Location_lift.Make

module Make: 
functor (Loc : Abstract_location.Internal-> 
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.Internal
Convert : Conversion with type internal_value := Loc.value

include Abstract_location.S
val structure : location Abstract_location.structure