def bq.s

import bend-osdev-algo@0.1.0.0/proof_bsearch.bend as ProofBsearch

import Base

39def bq.s(+lo: U32, +hi: U32) -> Nat:
40  Nat.sub(U32.to_nat(hi), U32.to_nat(lo))

Uses (4)