Labels:black | darkness OCR: ::= mfemp emp : ty type constraint (L) emp1 andalso emp2 sequential conjunction emp1 orelse emp2 sequential disjunction em handle match handle exception raise emp raise exception if empi then emp2 else empa conditional while emp1 do emp2 iteration case emp of match case analysis In match function expression inferp ::= opperp infemp1 id inferpz infixed application opperp atemp apperp atemp application atemp := SCOTI special constant (see Section 3) (op) longvar value variable (op) longcon value constructor (op) longercon exception constructor { { emprow ) } record # lab record selector 0-tuple (emp1, ... , empn) n-tuple, n ≥ 2 [empi , ... , emp,] list, n ≥ 0 #[emp1 , ... , emp,] vector, n ≥ 0 (emp1; ... ; emp,) sequence, n ≥ 2 let dec in empi; ... ; emp, end local declaration, n ≥ 1 ( emp ) ETITOTU ::= lab = emp ( , emprow ) expression row match mrule ( | match ) mTTLle
