def search

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

import Base

210def search(+n: Nat, +k: Nat, +lo: Nat, +hi: Nat) -> Nat:
211  search_go(Nat.sub(hi, lo), n, k, lo, hi, Nat.is_lt(1n+lo, hi), root_le(n, k, mid(lo, hi)))