law witness_list

bend-osdev-array@0.1.0.1 · LAWS.bend:268

import Base
import bend-osdev-array@0.1.0.1/array.bend as A

268law witness_list:
269  {Bool.and(Nat.is_eq(List.length(&2, U32, [5, 6, 7, 8]), A.Arrays.slots(2n)), Bool.and(Nat.is_lt(1n, 4n), Nat.is_ne(1n, 2n))) == True{} : Bool}