law vec_array_find_none

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

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

364law vec_array_find_none:
365  {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, 8)) == None{} : Maybe<&2, U32>}