law axis_lookup_refines

bendtorch-core@0.1.0.0 · src/tensor/axis_LAWS.bend:14

import Base
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

14law axis_lookup_refines:
15  for +items: List<&2, U32>
16  for +index: Nat
17  {Layout.lookup(items, index) == Axis.lookup(U32, items, index) : Maybe<&2, U32>}