Module Location_lift

module Location_lift: sig .. end

module type Conversion = sig .. end

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