[ < q,nil > ] 
{l:((St
Alph*)*)| ||l|| > 0 } 
i:
(||[ < q,nil > ]||-1). ||2of([ < q,nil > ][i])|| > 0 [ < q,nil > ] {C:{l:((StAlph*)*)| ||l|| > 0 }| i:(||C||-1). ||2of(C[i])|| > 0 }| 1 | [ < q,nil > ] {l:((StAlph*)*)| ||l|| > 0 } |
| 2 | i:(||[ < q,nil > ]||-1). ||2of([ < q,nil > ][i])|| > 0 |
About:
 |  |  |  |  |  |
 |  |  |  |  |