def bsearch.array_find

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

import Base

138# an index of the first n elements of a sorted array that holds key, or None
139def bsearch.array_find(a: Array<U32>, +n: U32, +key: U32) -> Array<U32> & Maybe<&2, U32>:
140  bsearch.array.find(bsearch.array_lower_bound(a, n, key), n, key)