def count.cons

bend-kit-concurrency@0.2.0.0 · concurrency.bend:17

import Base

17# The length of xs, beside xs.
18def count.cons(-A: Type, h: A, r: Nat & List<A>) -> Nat & List<A>:
19  (n, t) = r
20  (1n+n, h <> t)