def comb_small

bend-collections-laws-crypto@1.0.0.0 · src/math/natural.bend:145

import Base

145def comb_small(+n: Nat, +k: Nat, +big: Bool) -> Nat:
146  match big:
147    case True{}:
148      0n
149    case False{}:
150      comb_go(Nat.min(k, Nat.sub(n, k)), n, 0n, 1n)