def position

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

import bend-collections@1.0.0.0/src/containers/dlist_iterator.bend as DlistIterator
import Base

61def position(~T: Data, it: Iterator<T>) -> Iterator<T> & Nat:
62  IT{s, n, last, f, +i} = it
63  (IT{s, n, last, f, i}, i)

Uses (4)

Used by (0)

No other definition uses this definition.