def ref_lane

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

import Base

212def ref_lane(forced: Bool, +l: Nat, +j2: U32, +p: Nat) -> Nat:
213  match forced:
214    case True{}:
215      l
216    case False{}:
217      Nat.mod(U32.to_nat(j2), p)