~/jendhub

def is_done

bendtorch-core@0.1.0.0 · src/autograd/tensor_chain_PROOF.bend:422

import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF.bend as TensorChainPROOF
import Base
import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_LAWS.bend as Laws

422def is_done(result: Laws.Slots()) -> Type:
423  match result:
424    case Fail{error}:
425      Empty
426    case Done{slots}:
427      Unit

Uses (4)

Used by (1)