~/jendhub

def classes_of

mlbend-report@0.1.0.0 · main.bend:165

import mlbend-report@0.1.0.0/main.bend as MlbendReport
import Base

165# The report of every class: k of them, the class 0 first.
166def classes_of(ys: List<&2, Nat>, ps: List<&2, Nat>, +k: Nat) -> List<&2, Cls>:
167  classes_of.go(ys, ps, k, 0n)

Uses (4)

Used by (1)