#[machine_ref]Expand description
Declare one nominal opaque type that points at a concrete machine state.
Apply #[machine_ref(crate::Machine<crate::State>)] to a nominal struct or
tuple struct when a field or transition parameter should carry an exact
machine relation without repeating that relation at every use site.