1. 'a:S, l:hlist('a), P:('a). every(P;l)  (n:hnum. n<||l||  P(el(n,l)))
  'a:S, l:'a List, P:('a). every(P;l)  (n:. n<||l||  P(l[n]))

None

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