law vec_array_lower_bound

bend-osdev-algo@0.1.0.0 · LAWS.bend:354

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

354# the array [1, 3, 3, 7, 9, 0, 0, 0], searched in its first 5 slots
355law vec_array_lower_bound:
356  {Pair.snd(Array<U32>, U32, S.bsearch.array_lower_bound(Array.set(U32, Array.set(U32, Array.set(U32, Array.set(U32, Array.set(U32, [0 : U32*8n], 0, 1), 1, 3), 2, 3), 3, 7), 4, 9), 5, 3)) == 1 : U32}