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