def dynamic_read_succeeded

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

import bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF.bend as ElementwisePROOF

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

576def dynamic_read_succeeded(pair: Core.Dynamic & Result<&2, &2, Core.Error, F32>) -> Bool:
577  (owner, result) = pair
578  Result.is_done(&2, &2, Core.Error, F32, result)

Uses (8)

Used by (8)