~/jendhub

def fold_size

mlbend-select@0.1.0.0 · main.bend:39

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

39# The number of rows of the fold f.
40def fold_size(fs: List<&2, Nat>, f: Nat) -> Nat:
41  List.length(&2, Nat, Split.test_of(fs, f))

Uses (4)

Used by (1)