def Deque.length

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

import bend-kit-collections@0.1.4.1/deque.bend as Deque

import Base

149def Deque.length(a, -A: Kind(a), d: Deque<a, A>) -> Nat:
150  match d:
151    case Deq{f, b}:
152      Nat.add(List.length(a, A, f), List.length(a, A, b))

Uses (4)

Nat
Nat.add
List.length
bend-kit-collections@0.1.4.1/deque:Deque

Used by (0)

No other definition uses this definition.