def dynamic_result_value

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

473def dynamic_result_value(+shape: Shape.Shape, pair: Tensor<shape> & Result<&2, &2, Error, F32>) ->
474  {dynamic_read_value(read_dynamic_result(shape, pair)) == read_value(shape, pair) : Maybe<&2, F32>}:
475  (tensor, result) = pair
476  {==}