def bq.mid

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

import Base

24def bq.mid(+lo: U32, +hi: U32) -> U32:
25  U32.add(lo, U32.shr(U32.sub(hi, lo)))

Uses (4)