def start_last

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

import Base

272def start_last(+s: Nat, +sl: Nat, last: Bool) -> Nat:
273  match last:
274    case True{}:
275      0n
276    case False{}:
277      Nat.mul(Nat.add(s, 1n), sl)