def bq.nlo.a

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

import Base

61def bq.nlo.a(c: Bool, b: Bool, +lo: U32, +mid: U32) -> U32:
62  match c:
63    case True{}:
64      bq.lo_b(b, lo, mid)
65    case False{}:
66      lo