~/jendhub

def tot_of.go

mlbend-report@0.1.0.0 · main.bend:185

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

185# The sums over the classes.
186def tot_of.go(classes: List<&2, Cls>, acc: Tot) -> Tot:
187  match classes:
188    case Nil{}:
189      acc
190    case Con{c, t}:
191      tot_of.go(t, tot_add(acc, c))

Uses (4)

Used by (1)