def bq.hi_b

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

import Base

54def bq.hi_b(b: Bool, +hi: U32, +mid: U32) -> U32:
55  match b:
56    case True{}:
57      hi
58    case False{}:
59      mid