law input_indices_refines
bendtorch-core@0.1.0.0 · src/tensor/projection_LAWS.bend:54
import bendtorch-core@0.1.0.0/src/tensor/projection_LAWS.bend as ProjectionLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
54law input_indices_refines:
55 for +plan: Shape.BroadcastPlan
56 for +index: U32
57 {indices_result(Elementwise.input_indices(plan, index)) ==
58 offset_spec(plan, U32.to_nat(index)) : Maybe<&1, U32 & U32>}