nil ; a.as' Case of bs; nil nil ; b.bs' [ < a,b > / zip(as';bs')] (recursive)
T1,T2:Type, as:T1 List, bs:T2 List. zip(as;bs) 
(T1
T2) List| Who Cites zip? | |
| zip | Def zip(as;bs) == Case of as; nil nil ; a.as' Case of bs; nil nil ; b.bs' [ < a,b > / zip(as';bs')] (recursive) |
| Thm* T1,T2:Type, as:T1 List, bs:T2 List. zip(as;bs) (T1T2) List |
| Syntax: | zip(as;bs) | has structure: | zip(as; bs) |
About:
 |  |  |  |  |  |
 |  |  |  |  |