def length

import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

import Base

40def length(a, -A: Kind(a), xs: List<a, A>) -> Nat:
41  length.go(a, A, xs, 0n)

Uses (3)