//! `ViewContractAttribute` (ReactiveUI.Binding, `View/ViewContractAttribute.cs`).
/// The contract a view is registered under, so that one view model has a view per contract
/// (`ViewContractAttribute`): an option of a view registration
/// ([`ViewRegistrationOptions`](crate::ViewRegistrationOptions)).
///
/// Deviation (DEVIATIONS.md, ReactiveUI): upstream's attributes on a view class are read by the
/// source generator that builds the view dispatch; here they are plain data given to
/// [`ViewRegistrations`](crate::ViewRegistrations).