syntax(match expr (pattern expr) ...) pattern = ... | ’quoted
syntax(match expr (pattern expr) ...)
syntax
(match expr (pattern expr) ...)
Das Pattern ’quoted paßt auf genau auf Werte, welche die gleiche externe Repräsentation wie quoted haben.