def rank_dimensions

bendtorch-core@0.1.0.0 · src/shape/core.bend:368

import Base

368def rank_dimensions(dims: List<&2, U32>) -> Nat:
369  match dims:
370    case Nil{}:
371      0n
372    case head <> tail:
373      1n+rank_dimensions(tail)