def CellSpec

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

import Base

162def CellSpec(+dl: Nat, +dr: Nat, -A: Array<F32>, -B: Array<F32>, +inner: Nat, +columns: Nat, +position: Nat, inside: Bool,
163  -value: Maybe<&2, F32>) -> Type:
164  match inside:
165    case False{}:
166      {value == Some{0.0} : Maybe<&2, F32>}
167    case True{}:
168      CellAt<dl, dr, A, B, inner, columns, position, value>