def classes_of

mlbend-split@0.1.1.0 · main.bend:81

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

import Base

81# The number of classes of the labels: one more than the largest label.
82def classes_of(labels: List<&2, Nat>) -> Nat:
83  Nat.add(1n, largest_of(labels, 0n))

Uses (4)

Used by (1)

mlbend-split@0.1.1.0/main:folds