~/jendhub

def fold_sizes_go

mlbend-select@0.1.0.0 · main.bend:43

import mlbend-select@0.1.0.0/main.bend as MlbendSelect
import Base

43# The number of rows of each fold.
44def fold_sizes_go(+fs: List<&2, Nat>, k: Nat, +acc: List<&2, Nat>) -> List<&2, Nat>:
45  match k:
46    case 0n:
47      acc
48    case 1n++rest:
49      fold_sizes_go(fs, rest, Con{fold_size(fs, rest), acc})

Uses (3)

Used by (1)