def row_zero

import cli@0.2.0.0/cli.bend as Cli

import Base

5672def row_zero(b: String, +k: Nat) -> List<&2, Nat>:
5673  match b:
5674    case SNil{}: [k]
5675    case SCon{head, tail}: k <> row_zero(tail, (k + 1n : Nat))

Uses (4)

List
Nat
String
Nat.add

Used by (1)

cli@0.2.0.0/cli:osa