law vec_array_lower_bound_end

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

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

358law vec_array_lower_bound_end:
359  {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, 10)) == 5 : U32}