#root::data::List

Iter root/data/List.vi:395

struct Iter[T](...);

iterator root/data/List.vi:398

impl iterator[T]: Iterator[Iter[T], T];

to_list root/data/List.vi:411

impl to_list[T]: Cast[Iter[T], List[T]];

Convert the remaining elements in this iterator back into a list. O(1)