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