def area_other

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

import Base

177def area_other(+base: Nat, zero: Bool) -> Nat:
178  match zero:
179    case True{}:
180      Nat.sub(base, 1n)
181    case False{}:
182      base