def count_rows

mlbend-split@0.1.1.0 · main.bend:85

import mlbend-split@0.1.1.0/main.bend as MlbendSplit

import Base

85# The number of rows a list of folds holds.
86def count_rows(fs: List<&2, Nat>) -> Nat:
87  match fs:
88    case Nil{}:
89      0n
90    case Con{h, t}:
91      (1n + count_rows(t) : Nat)

Uses (3)

Used by (2)