'a,'b,'c:Type, f:('a'b'c), l1:'a List, l2:'b List.
  map2(f;l1;l2)  'c List

1

1. 'a : Type 2. 'b : Type 3. 'c : Type 4. f : 'a'b'c 5. l1 : 'a List 6. l2 : 'b List   map2(f;l1;l2)  'c List

6 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html