def start_last

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

import Base

196def start_last(+s: Nat, +sl: Nat, last: Bool) -> Nat:
197  match last:
198    case True{}:
199      0n
200    case False{}:
201      Nat.mul(Nat.add(s, 1n), sl)