def dynamic_read_value
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Coreimport Base
465def dynamic_read_value(pair: Dynamic & Result<&2, &2, Error, F32>) -> Maybe<&2, F32>:
466 (dynamic, result) = pair
467 result_value(result)
Uses (8)
Used by (41)
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof:replayed_point
- bendtorch-core@0.1.0.0/src/tensor/core:DynamicSourceRead
- bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS:sole_point
- bendtorch-core@0.1.0.0/src/autograd/tensor_vjp_PROOF:pair_contract
- bendtorch-core@0.1.0.0/src/tensor/transform_observation:output_value
- …