def has_previous

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

import Base

57def has_previous(~T: Data, it: Iterator<T>) -> Iterator<T> & Bool:
58  IT{s, n, last, f, +i} = it
59  (IT{s, n, last, f, i}, Nat.is_lt(0n, i))