def area_base

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

import Base

169# |W|, the number of blocks the reference may be drawn from.
170def area_base(r0: Bool, +s: Nat, +sl: Nat, +q: Nat) -> Nat:
171  match r0:
172    case True{}:
173      Nat.mul(s, sl)
174    case False{}:
175      Nat.sub(q, sl)