 		}
 	}
 
-	/// Create an `PropertyEditor` that presents `inner` as an
-	/// `PropertyEditor` of `U` value, and invoke `body` with the proposed
-	/// value whenever the setter is invoked.
+	/// Create an `PropertyEditor` that presents an editing interface of `inner`
+	/// in another value type and error type, using the given forward transform,
+	/// the given failable reverse transform, and the given error transform.
 	///
 	/// If `success` is returned by `body`, the associated value would be
 	/// persisted to `inner`. Otherwise, the failure would be emitted by the

		}

		self.result = Property(capturing: _validations)
		self.lifetime = inner.lifetime
		self.commited = inner.map(transform)
		self.rootBox = PropertyEditorBox(inner)


		})
	}

	/// Create an `PropertyEditor` that presents an editing interface of `inner`
	/// in another value type, using the given forward transform and the given
	/// failable reverse transform.
	///
	/// If `success` is returned by `body`, the associated value would be
	/// persisted to `inner`. Otherwise, the failure would be emitted by the
