~/jendhub

def step_right_owner

bendtorch-core@0.1.0.0 · src/tensor/elementwise_PROOF.bend:234

import bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF.bend as ElementwisePROOF
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

234def step_right_owner(-shape: Shape.Shape, result: Elementwise.Step<shape>) -> Core.Dynamic:
235  match result:
236    case Elementwise.Stop{left, right, error}:
237      right
238    case Elementwise.Continue{Elementwise.State{left, right, output}}:
239      right

Uses (4)

Used by (13)