def cell_shift

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof.bend as Parallel

272# A cell named at an equal index, and a CellIs below the count is a CellAt.
273def cell_shift(+dl: Nat, +dr: Nat, -A: Array<F32>, -B: Array<F32>, +inner: Nat, +columns: Nat, +count: Nat,
274  -position: Nat, -other: Nat, -value: Maybe<&2, F32>, -same: {position == other : Nat},
275  -at: CellIs(dl, dr, A, B, inner, columns, count, position, value)) ->
276  Parallel.Fact<CellIs(dl, dr, A, B, inner, columns, count, other, value)>:
277  Parallel.Fact{
278    %same : CellIs(dl, dr, A, B, inner, columns, count, _, value)
279    at}