def bq.nhi.a

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

import Base

68def bq.nhi.a(c: Bool, b: Bool, +hi: U32, +mid: U32) -> U32:
69  match c:
70    case True{}:
71      bq.hi_b(b, hi, mid)
72    case False{}:
73      hi