def Deque.count.put

bend-kit-collections@0.1.4.1 · deque.bend:30

import Base

30def Deque.count.put(
31  a, -A: Kind(a), h: A, rn: List<a, A> & Nat
32) -> List<a, A> & Nat:
33  (rest, n) = rn
34  (h <> rest, 1n+n)