def start

bend-collections-laws-crypto@1.0.0.0 · src/crypto/argon2/argon2.bend:203

import Base

203# The first block of the reference area: 0 in the first pass, else the start
204# of the next segment (wrapping).
205def start(r0: Bool, +s: Nat, +sl: Nat) -> Nat:
206  match r0:
207    case True{}:
208      0n
209    case False{}:
210      start_last(s, sl, Nat.is_eq(s, 3n))