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: |
|
include Abstract_location.S
val structure : location Abstract_location.structure