Next:
:
Up:
Patterns
Previous:
:
:
matches if none of the subpatterns match. The subpatterns may not bind any pattern variables.
PLT