def start

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:279

import Base

279# The reference area starts at 0 in the first pass, else at the next segment.
280def start(r0: Bool, +s: Nat, +sl: Nat) -> Nat:
281  match r0:
282    case True{}:
283      0n
284    case False{}:
285      start_last(s, sl, Nat.is_eq(s, 3n))