def length
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
14def length(~T: Data, d: Deque<T>) -> Deque<T> & Nat:
15 DE{f, b, +nf, +nb} = d
16 (DE{f, b, nf, nb}, Nat.add(nf, nb))
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
14def length(~T: Data, d: Deque<T>) -> Deque<T> & Nat:
15 DE{f, b, +nf, +nb} = d
16 (DE{f, b, nf, nb}, Nat.add(nf, nb))