law index_below

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

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

127law index_below:
128  for d: Nat
129  for i: U32
130  {Nat.is_lt(A.Arrays.index(d, i), A.Arrays.slots(d)) == True{} : Bool}