def list.len

bend-toon-codec@0.1.0.0 · src/encode.bend:162

import Base

162def list.len(+ks: List<&2, String>) -> U32:
163  match ks:
164    case Nil{}:
165      0
166    case Con{k, t}:
167      (1 + list.len(t) : U32)