~/jendhub

def area

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

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

184def area(+base: Nat, +idx: Nat, same: Bool) -> Nat:
185  match same:
186    case True{}:
187      Nat.sub(Nat.add(base, idx), 1n)
188    case False{}:
189      area_other(base, Nat.is_eq(idx, 0n))

Uses (6)

Used by (1)