law actual_flat_projection
bendtorch-core@0.1.0.0 · src/tensor/projection_LAWS.bend:48
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/shape/LAWS.bend as ShapeLaws
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
48law actual_flat_projection:
49 for +plan: Shape.BroadcastPlan
50 for +index: Shape.FlatIndex<Shape.output_shape(plan)>
51 {indices_result(Elementwise.flat_input_indices(plan, Done{index})) ==
52 offset_spec(plan, ShapeLaws.position(Shape.output_shape(plan), index)) : Maybe<&1, U32 & U32>}