~/jendhub

type DoneWitness

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

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

9type DoneWitness<-error: Data, -value: Type, -result: Result<&2, &1, error, value>> is Data:
10  DoneWitness{-returned: value, -exact: {Done{returned} == result : Result<&2, &1, error, value>}}

Uses (1)

Used by (2)