sig
type extended_value
type extended_location
type internal_value
type internal_location
val extend_val :
Domain_lift.Conversion.internal_value ->
Domain_lift.Conversion.extended_value
val restrict_val :
Domain_lift.Conversion.extended_value ->
Domain_lift.Conversion.internal_value
val extend_loc :
Domain_lift.Conversion.internal_location ->
Domain_lift.Conversion.extended_location
val restrict_loc :
Domain_lift.Conversion.extended_location ->
Domain_lift.Conversion.internal_location
end