def classes_of.go

mlbend-report@0.1.0.0 · main.bend:156

import Base

156# The report of every class, from the class i on: n of them, ascending.
157def classes_of.go(+ys: List<&2, Nat>, +ps: List<&2, Nat>, n: Nat, +i: Nat) ->
158  List<&2, Cls>:
159  match n:
160    case 0n:
161      Nil{}
162    case 1n+rest:
163      Con{cls_of(ys, ps, i), classes_of.go(ys, ps, rest, (1n + i : Nat))}