def area

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

import Base

260def area(+base: Nat, +idx: Nat, same: Bool) -> Nat:
261  match same:
262    case True{}:
263      Nat.sub(Nat.add(base, idx), 1n)
264    case False{}:
265      area_other(base, Nat.is_eq(idx, 0n))