def cr.pbkdf2.fits

bend-osdev-crypto@0.1.0.0 · pbkdf2.bend:103

import Base

103def cr.pbkdf2.fits(pos: Bool, +n: Nat, +hlen: Nat) -> Bool:
104  match pos:
105    case True{}:
106      Nat.is_le(Nat.div(Nat.add(n, Nat.sub(hlen, 1n)), hlen), 4294967295n)
107    case False{}:
108      False{}