law independent_elementwise_loop

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

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

284law independent_elementwise_loop:
285  for +operation: Elementwise.Operation
286  for +plan: Shape.BroadcastPlan
287  for left: Core.Dynamic
288  for right: Core.Dynamic
289  for output: Core.Tensor<Shape.output_shape(plan)>
290  IndependentModel<operation, plan, left, right,
291    Elementwise.loop(Shape.elements(Shape.output_shape(plan)), operation, plan, 0n, Elementwise.State{left, right, output})>