def bsearch.array.val
import bend-osdev-algo@0.1.0.0/bsearch.bend as Bsearchimport Base
76def bsearch.array.val(r: Array<U32> & U32) -> U32:
77 (a, x) = r
78 x
Uses (4)
Used by (0)
No other definition uses this definition.
import bend-osdev-algo@0.1.0.0/bsearch.bend as Bsearchimport Base
76def bsearch.array.val(r: Array<U32> & U32) -> U32:
77 (a, x) = r
78 x
No other definition uses this definition.