Proposal

The step written by

#![allow(unused)]
fn main() {
propose b1 l r ph [b2]
}

where b1, l, r, ph and b2 are variables or constants (as described above) will match a proposal message whose :

• sender (signer) matches b1
• level matches l
• round matches r
• payload hash matches ph
• and destination matches b2.