Sequential Composition

PC fee_total {
    fn fee_total(amount: i64, fee: i64) -> i64 {
        return MC_00.ADD8(amount, fee);
    }
}

​

Review Points

• The intermediate value is named.
• The consumer uses the producer’s output.
• No hidden global state is needed.
• The return value is explicit.

​

Review Guidance