1.3.1. List::_ctor_list 1.3.2. List::len 1.3.3. List::iter 1.3.4. List::map 1.3.5. List::fold_left 1.3.6. List::fold_right 1.3.7. List::rev