type Interpretation

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:80

import bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS.bend as ReductionLAWS

import Base

80type Interpretation<-actual: Maybe<&2, F32>, -expected: Maybe<&2, F32>> is Data:
81  Interpretation{-proof: @unit: Unit -> {actual == expected : Maybe<&2, F32>}}

Uses (3)

Used by (3)