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

:

matches if all of the subpatterns match. This pattern is often used as to bind x to to the entire value that matches pat (cf. ``as-patterns'' in ML or Haskell).



PLT