def area

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

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))