~/jendhub

def ref_lane

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

import bend-collections@1.0.0.0/src/crypto/argon2/argon2.bend as Argon2
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)

Uses (5)

Used by (1)