def bq.lo_b

bend-osdev-algo@0.1.0.0 · proof_bsearch.bend:47

import Base

47def bq.lo_b(b: Bool, +lo: U32, +mid: U32) -> U32:
48  match b:
49    case True{}:
50      U32.inc(mid)
51    case False{}:
52      lo