def specified_expected

bendtorch-core@0.1.0.0 · src/tensor/projection_LAWS.bend:39

import Base
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

39def specified_expected(operation: Elementwise.Operation, left: Core.Dynamic, right: Core.Dynamic,
40  offsets: Maybe<&1, U32 & U32>) -> Maybe<&2, F32>:
41  match offsets:
42    case None{}:
43      None{}
44    case Some{indices}:
45      (left_index, right_index) = indices
46      Elementwise.expected_left(operation, right, right_index, Core.checked_observe_dynamic(left, left_index))