def expected_left

bendtorch-core@0.1.0.0 · src/tensor/elementwise.bend:534

import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core

534def expected_left(operation: Operation, right: Core.Dynamic, right_index: U32, left: Maybe<&2, F32>) -> Maybe<&2, F32>:
535  match left:
536    case None{}:
537      None{}
538    case Some{value}:
539      expected_right(operation, value, Core.checked_observe_dynamic(right, right_index))