def expected_indices

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

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

541def expected_indices(operation: Operation, left: Core.Dynamic, right: Core.Dynamic,
542  result: Result<&2, &1, Core.Error, U32 & U32>) -> Maybe<&2, F32>:
543  match result:
544    case Fail{error}:
545      None{}
546    case Done{indices}:
547      (left_index, right_index) = indices
548      expected_left(operation, right, right_index, Core.checked_observe_dynamic(left, left_index))