Skip to main content
Sequential composition means one operation feeds the next.
PC label_hash {
    fn label_hash(prefix, code) {
        let label = MC_40.CONCAT(prefix, code);
        let digest = MC_48.HASH(label);
        return digest;
    }
}

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

Name the intermediate value so the data path is visible.