~/jendhub

type InspectionModel

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

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/elementwise_totality.bend as Totality

56type InspectionModel<-left: Totality.Inspection, -right: Totality.Inspection> is Data:
57  InspectionModel{-equal: {left == right : Totality.Inspection}}

Uses (1)

Used by (5)