List iterator

This module provides an iterator for lists that is accessible via List.iter.

@[inline]

def List.iter {α : Type w} (l : List α) : Std.Iter α

Equations

• l.iter = (l.iterM Id).toIter