law slot_lt

lawful-arrays@0.1.0.0 · LAWS.bend:192

import Base
import lawful-arrays@0.1.0.0/defs.bend as D

192law slot_lt:
193  for i: U32
194  for d: Nat
195  {Nat.is_lt(D.slot(i, d), Nat.pow(2n, d)) == True{} : Bool}