law successful_elementwise_loop

bendtorch-core@0.1.0.0 · src/tensor/core_LAWS.bend:252

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

252law successful_elementwise_loop:
253  for +operation: Elementwise.Operation
254  for +plan: Shape.BroadcastPlan
255  for left: Core.Dynamic
256  for right: Core.Dynamic
257  for output: Core.Tensor<Shape.output_shape(plan)>
258  Elementwise.MappingModel<operation, plan, left, right,
259    Elementwise.loop(Shape.logical_numel(Shape.dimensions(Shape.output_shape(plan))), operation, plan, 0n, Elementwise.State{left, right, output})>