~/jendhub

def inspected

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

import bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF.bend as MatmulPROOF
import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise_totality.bend as ElementwiseTotality

1302def inspected(found: ElementwiseTotality.Inspection) -> Maybe<&2, F32>:
1303  match found:
1304    case ElementwiseTotality.Dims{dimensions}:
1305      None{}
1306    case ElementwiseTotality.Value{value}:
1307      value

Uses (3)

Used by (1)