law gather_index_shaped

bendtorch-core@0.1.0.0 · src/tensor/gather_LAWS.bend:199

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather

199law gather_index_shaped:
200  for +dimensions: List<&2, U32>
201  for +entries: List<&2, U32>
202  {Gather.index(dimensions, entries) == index_of(entries, dimensions, Shape.construct(dimensions)) : Result<&2, &2, Gather.Error, Gather.Index>}