type Success

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

import Base

12type Success<-error: Data, -value: Type, -result: Result<&2, &1, error, value>> is Data:
13  Success{-successful: {Result.is_done(&2, &1, error, value, result) == True{} : Bool},
14    -witness: DoneWitness<error, value, result>}