def cell_below

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

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

281def cell_below(+dl: Nat, +dr: Nat, -A: Array<F32>, -B: Array<F32>, +inner: Nat, +columns: Nat, +count: Nat,
282  -position: Nat, -value: Maybe<&2, F32>, -below: {Nat.is_lt(position, count) == True{} : Bool},
283  -at: CellIs(dl, dr, A, B, inner, columns, count, position, value)) ->
284  Parallel.Fact<CellAt<dl, dr, A, B, inner, columns, position, value>>:
285  Parallel.Fact{
286    %below : CellSpec(dl, dr, A, B, inner, columns, position, _, value)
287    at}