def CellIs

bendtorch-core@0.1.0.0 · src/tensor/matmul_parallel_proof.bend:170

import bendtorch-core@0.1.0.0/src/tensor/matmul_parallel_proof.bend as MatmulParallelProof

import Base

170def CellIs(+dl: Nat, +dr: Nat, -A: Array<F32>, -B: Array<F32>, +inner: Nat, +columns: Nat, +count: Nat, +position: Nat,
171  -value: Maybe<&2, F32>) -> Type:
172  CellSpec(dl, dr, A, B, inner, columns, position, Nat.is_lt(position, count), value)

Uses (6)

Used by (4)