previous up next    
Next: : Up: Patterns Previous: :

:

matches if none of the subpatterns match. The subpatterns may not bind any pattern variables.



PLT