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