sig
  type extended_value
  type internal_value
  val extend_val :
    Location_lift.Conversion.internal_value ->
    Location_lift.Conversion.extended_value
  val replace_val :
    Location_lift.Conversion.internal_value ->
    Location_lift.Conversion.extended_value ->
    Location_lift.Conversion.extended_value
  val restrict_val :
    Location_lift.Conversion.extended_value ->
    Location_lift.Conversion.internal_value
end