def bsearch.array.result
import bend-osdev-algo@0.1.0.0/bsearch.bend as Bsearchimport Base
107def bsearch.array.result(st: BsearchState) -> Array<U32> & U32:
108 match st:
109 case BsearchState{a, lo, hi}:
110 (a, lo)
import bend-osdev-algo@0.1.0.0/bsearch.bend as Bsearchimport Base
107def bsearch.array.result(st: BsearchState) -> Array<U32> & U32:
108 match st:
109 case BsearchState{a, lo, hi}:
110 (a, lo)