law vec_array_find

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

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

361law vec_array_find:
362  {Pair.snd(Array<U32>, Maybe<&2, U32>, S.bsearch.array_find(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, 7)) == Some{3} : Maybe<&2, U32>}