def out.dep

bend-kit-zlib@0.5.1.0 · zlib.bend:107

import Base

107def out.dep(f: Nat, fits: Bool, +dep: U32, +want: U32) -> U32:
108  match f:
109    case 0n:
110      dep
111    case 1n+p:
112      match fits:
113        case True{}:
114          dep
115        case False{}:
116          +d = (dep + 1 : U32)
117          out.dep(p, out.fits(d, want), d, want)