module languages/modula-3/syntax/Pragma exports sorts PAsterisk Pragma lexical syntax [\*] -> PAsterisk "<*" ( PAsterisk | ~[\*] )* "*>" -> Pragma Pragma -> LAYOUT lexical restrictions PAsterisk -/- [\>] context-free restrictions LAYOUT? -/- [\<].[\*]