Module Location_lift

module Location_lift: sig .. end

module type Conversion = sig .. end
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