def depth_go

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/argon2.bend:77

import Base

77def depth_go(fuel: Nat, +n: Nat, +d: Nat, done: Bool) -> Nat:
78  match fuel done:
79    case _ True{}:
80      d
81    case 0n False{}:
82      d
83    case 1n+f False{}:
84      depth_go(f, n, 1n+d, Nat.is_le(n, pw(1n+d)))