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