~/jendhub

def bsearch.array.fin

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

import bend-osdev-algo@0.1.0.0/bsearch.bend as Bsearch
import Base

72def bsearch.array.fin(r: Array<U32> & U32) -> Array<U32>:
73  (a, x) = r
74  a

Uses (4)

Used by (0)

No other definition uses this definition.