def length.go

bend-lint-api@0.2.0.0 · shared/lists.bend:33

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

import Base

33def length.go(a, -A: Kind(a), xs: List<a, A>, n: Nat) -> Nat:
34  match xs:
35    case Nil{}:
36      n
37    case Con{h, t}:
38      length.go(a, A, t, 1n+n)

Uses (2)

List
Nat

Used by (1)

bend-lint-api@0.2.0.0/shared/lists:length