Reduce.span: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce
Lines 35-42 of bendtorch-core@0.1.0.0/src/autograd/reduce.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/autograd/reduce.bend&start_line=35&end_line=42

import Base

# How many digits a row walks for a target cell: every digit of an axis the
# target reduces (left stride 0), else one.
def span(+left: Nat, +extent: Nat) -> Nat:
  match left:
    case 0n:
      extent
    case 1n+less:
      1n

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat