def bsearch.array.found

bend-osdev-algo@0.1.0.0 · bsearch.bend:125

import Base

125def bsearch.array.found(inside: Bool, r: Array<U32> & U32, +i: U32, +key: U32) -> Array<U32> & Maybe<&2, U32>:
126  match inside:
127    case True{}:
128      (a, +x) = r
129      (a, Bool.pick(Maybe<&2, U32>, U32.is_eq(x, key), Some{i}, None{}))
130    case False{}:
131      (a, x) = r
132      (a, None{})