~/jendhub

def fold_sizes

mlbend-select@0.1.0.0 · main.bend:51

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

51# The number of rows of each fold.
52def fold_sizes(fs: List<&2, Nat>, k: Nat) -> List<&2, Nat>:
53  fold_sizes_go(fs, k, Nil{})

Uses (3)

Used by (0)

No other definition uses this definition.