def List.length

Base · base.bend:925

925def List.length(a, -A: Kind(a), xs: List<a, A>) -> Nat:
926  match xs:
927    case Nil{}:
928      0n
929    case h <> t:
930      1n+List.length(a, A, t)