~/jendhub

type Decoded

bendtorch-core@0.1.0.0 · src/tensor/matmul_PROOF.bend:1435

import bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF.bend as MatmulPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

1435type Decoded<-output: Shape.Shape, -index: U32, -row: U32, -column: U32> is Data:
1436  Decoded{-coordinate: Shape.CheckedCoordinate<output>,
1437    -decoded: {Shape.unflatten_checked(output, index) == Done{coordinate} : Result<&2, &2, Shape.Error, Shape.CheckedCoordinate<output>>},
1438    -coordinates: {Shape.coordinate_values(output, coordinate) == [row, column] : List<&2, U32>}}

Uses (8)

Used by (2)