law expected_projection_refines
bendtorch-core@0.1.0.0 · src/tensor/projection_LAWS.bend:66
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/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
66law expected_projection_refines:
67 for +operation: Elementwise.Operation
68 for +plan: Shape.BroadcastPlan
69 for left: Core.Dynamic
70 for right: Core.Dynamic
71 for +index: U32
72 {Elementwise.expected(operation, plan, left, right, index) ==
73 specified_expected(operation, left, right, offset_spec(plan, U32.to_nat(index))) : Maybe<&2, F32>}