law witness_index

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

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

262law witness_index:
263  {Nat.is_lt(3n, A.Arrays.slots(2n)) == True{} : Bool}