~/jendhub

def added

bend-collections@1.0.0.0 · src/containers/dlist_iterator.bend:204

import bend-collections@1.0.0.0/src/containers/dlist_iterator.bend as DlistIterator
import Base
import bend-collections@1.0.0.0/src/containers/doubly_linked_list.bend as D
import bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend as E

204def added(~T: Data, n: U32, last: U32, f: Bool, i: Nat, r: D.DList<T> & Result<&2, &2, E.Error, E.Handle>) -> Iterator<T> & Result<&2, &2, Error, Unit>:
205  (s, out) = r
206  attach_unit(~T, s, add_meta(n, last, f, i, out))

Uses (14)

Used by (1)