def list.len

bend-toon-codec@0.1.0.0 · src/step.bend:30

import Base

30def list.len(+ks: List<&2, String>) -> U32:
31  match ks:
32    case Nil{}:
33      0
34    case Con{k, t}:
35      (1 + list.len(t) : U32)