Labels:black | darkness OCR: atpzt ::= wildcard 6COTI special constant (see Section 3) ( op) variable op) longcon constructor [ op) longercon [ ( patron ) } exception constructor record 0-tuple (pat1, ... , pat,) [poty n-tuple, n ≥ 2 ... , pat ,, ] list, n ≥0 #[pat1, ... , pat,] ( pat ) vector, n ≥ 0 ::= .. wildcard lab = pat { , patron lab (: ty) ( as pat ) ( , patrow ) pattern row label as variable pot etpot atomic pattern ( op) longcon atpat value construction ( op) longercon atpat exception construction paty con pat2 infixed value construction paty ercon paty infixed exception construction pat : ty ( op) mer (: ty) typed as pat layered