law witness_index_wrap

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

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

265law witness_index_wrap:
266  {Bool.and(Nat.is_lt(U32.to_nat(5), A.Arrays.slots(3n)), Nat.is_lt(3n, A.Arrays.slots(2n))) == True{} : Bool}