def length

bend-collections@1.0.0.0 · src/containers/internal/dlist_storage.bend:115

import Base

115def length(~T: Data, s: DList<T>) -> DList<T> & Nat:
116  DL{+tag, +fresh, +free, +count, +head, +tail, +depth, +cap, vals, prevs, nexts} = s
117  (DL{tag, fresh, free, count, head, tail, depth, cap, vals, prevs, nexts}, count)