def stride

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:437

import Base

437# How far term k + 1 of an operand sits from term k: the next word of a
438# `Kept` row, the next row of a `Swapped` operand of `outers` columns.
439def stride(+order: Order, +outers: Nat) -> Nat:
440  match order:
441    case Kept{}:
442      1n
443    case Swapped{}:
444      outers