def start_index

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

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/argon2.bend as Argon2
import Base

353def start_index(first: Bool) -> Nat:
354  match first:
355    case True{}:
356      2n
357    case False{}:
358      0n

Uses (2)

Used by (5)