'(*' Comment.Multiline ' ' Comment.Multiline 'I' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'y' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'x' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline ' \n' Text '(*' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline 'u' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline 'P' Comment.Multiline 'f' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'c' Comment.Multiline 'h' Comment.Multiline 'u' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n' Text '(*' Comment.Multiline ' ' Comment.Multiline 'M' Comment.Multiline 'o' Comment.Multiline 'd' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'R' Comment.Multiline 'o' Comment.Multiline 'b' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'V' Comment.Multiline 'i' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n' Text 'signature' Keyword.Reserved ' ' Text 'INTSYN' Name.Namespace ' ' Text '=' Punctuation '\n' Text 'sig' Keyword.Reserved '\n\n ' Text 'type' Keyword.Reserved ' ' Text 'cid' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'int' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'mid' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'int' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'u' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'csid' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'int' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'S' Comment.Multiline ' ' Comment.Multiline 'm' Comment.Multiline 'o' Comment.Multiline 'd' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'FgnExp' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'exn' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'exception' Keyword.Reserved ' ' Text 'UnexpectedFgnExp' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'FgnExp' Name.Class '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'o' Comment.Multiline 'l' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline '\n' Comment.Multiline '\t' Comment.Multiline '\t' Comment.Multiline '\t' Comment.Multiline '\t' Comment.Multiline '\t' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'type' Name.Class ' ' Text 'FgnCnstr' Name.Class ' ' Text '=' Name.Class ' ' Text 'exn' Name.Class ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'exception' Name.Class ' ' Text 'UnexpectedFgnCnstr' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'FgnCnstr' Name.Class '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'o' Comment.Multiline 'l' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'datatype' Name.Class ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name ' ' Text '=' Punctuation '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Null' Name '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Name ' ' Text 'Decl' Name ' ' Text 'of' Keyword.Reserved ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text "'a" Name.Decorator '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n \n ' Text 'val' Keyword.Reserved ' ' Text 'ctxPop' Name.Variable ' ' Text ':' Punctuation ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name ' ' Text '->' Punctuation ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'ctxLookup' Name.Variable ':' Punctuation ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '->' Punctuation ' ' Text "'a" Name.Decorator '\n ' Text 'val' Keyword.Reserved ' ' Text 'ctxLength' Name.Variable ':' Punctuation ' ' Text "'a" Name.Decorator ' ' Text 'Ctx' Name ' ' Text '->' Punctuation ' ' Text 'int' Name '\n\n ' Text 'datatype' Keyword.Reserved ' ' Text 'Depend' Keyword.Type ' ' Text '=' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline 'e' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'No' Name.Class ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'P' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Maybe' Name.Class ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'M' Comment.Multiline 'a' Comment.Multiline 'y' Comment.Multiline 'b' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Meta' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'M' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '' Text 'datatype' Keyword.Reserved ' ' Text 'Uni' Keyword.Type ' ' Text '=' Punctuation '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Kind' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'L' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'K' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Type' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'T' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '' Text 'datatype' Keyword.Reserved ' ' Text 'Exp' Keyword.Type ' ' Text '=' Punctuation '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Uni' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Uni' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'L' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Pi' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text '(' Punctuation 'Dec' Name ' ' Text '*' Name ' ' Text 'Depend' Name ')' Punctuation ' ' Text '*' Name ' ' Text 'Exp' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'P' Comment.Multiline 'i' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'D' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'P' Comment.Multiline ')' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline 'V' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Root' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Head' Name ' ' Text '*' Name ' ' Text 'Spine' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'H' Comment.Multiline ' ' Comment.Multiline '@' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Redex' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Spine' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline '@' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Lam' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Dec' Name ' ' Text '*' Name ' ' Text 'Exp' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'EVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text 'option' Name ' ' Text 'ref' Name ' ' Text '*' Name ' ' Text 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'Cnstr' Name ' ' Text 'ref' Name ')' Punctuation ' ' Text 'list' Name ' ' Text 'ref' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'X' Comment.Multiline '<' Comment.Multiline 'I' Comment.Multiline '>' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline '|' Comment.Multiline '-' Comment.Multiline 'V' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'EClo' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Sub' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'AVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text 'option' Name ' ' Text 'ref' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline '<' Comment.Multiline 'I' Comment.Multiline '>' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '|' Punctuation ' ' Text 'FgnExp' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'csid' Name ' ' Text '*' Name ' ' Text 'FgnExp' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '|' Punctuation ' ' Text 'NVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'int' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'p' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'v' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'i' Comment.Multiline 'a' Comment.Multiline 'b' Comment.Multiline 'l' Comment.Multiline 'e' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'u' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Head' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'H' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 'd' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'BVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'int' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'H' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Const' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'cid' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Proj' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Block' Name ' ' Text '*' Name ' ' Text 'int' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '#' Comment.Multiline 'k' Comment.Multiline '(' Comment.Multiline 'b' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Skonst' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'cid' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline '#' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Def' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'cid' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'i' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'NSDef' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'cid' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'n' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'i' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'FVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Sub' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'FgnConst' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'csid' Name ' ' Text '*' Name ' ' Text 'ConDec' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Spine' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'p' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Nil' Name.Class '\t\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'App' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Spine' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ';' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'SClo' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Spine' Name ' ' Text '*' Name ' ' Text 'Sub' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Sub' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'c' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Shift' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'int' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline '^' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Dot' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Front' Name ' ' Text '*' Name ' ' Text 'Sub' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 't' Comment.Multiline '.' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Front' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 'r' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Idx' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'int' Name '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Exp' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Axp' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Block' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Block' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '_' Comment.Multiline 'x' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Undef' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '_' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Dec' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Dec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'Exp' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'x' Comment.Multiline ':' Comment.Multiline 'V' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'BDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'cid' Name ' ' Text '*' Name ' ' Text 'Sub' Name ')' Punctuation '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'v' Comment.Multiline ':' Comment.Multiline 'l' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'ADec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name '\t ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'v' Comment.Multiline '[' Comment.Multiline '^' Comment.Multiline '-' Comment.Multiline 'd' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'NDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text 'option' Name ' \n\n ' Text 'and' Keyword.Reserved ' ' Text 'Block' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 'c' Comment.Multiline 'k' Comment.Multiline 's' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Bidx' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'int' Name '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'v' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'LVar' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Block' Name ' ' Text 'option' Name ' ' Text 'ref' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'cid' Name ' ' Text '*' Name ' ' Text 'Sub' Name ')' Punctuation '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'L' Comment.Multiline '(' Comment.Multiline 'l' Comment.Multiline '[' Comment.Multiline '^' Comment.Multiline 'k' Comment.Multiline ']' Comment.Multiline ',' Comment.Multiline 't' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Inst' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text 'list' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline '1' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline '.' Comment.Multiline '.' Comment.Multiline '.' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'I' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'o' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'a' Comment.Multiline 'v' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'o' Comment.Multiline 'j' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'k' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'a' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'I' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'h' Comment.Multiline 'i' Comment.Multiline 'c' Comment.Multiline 'h' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'o' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'm' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline 's' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '\n' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'I' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'g' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'o' Comment.Multiline 'w' Comment.Multiline 'e' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'n' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'h' Comment.Multiline 'a' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline '\n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'y' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline '-' Comment.Multiline '-' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n\n' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline 'C' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 'c' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline '*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'b' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Cnstr' Keyword.Type ' ' Text '=' Punctuation '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Solved' Name.Class ' \t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ':' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'o' Comment.Multiline 'l' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Eqn' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline '|' Comment.Multiline '-' Comment.Multiline '(' Comment.Multiline 'U' Comment.Multiline '1' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline '2' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'FgnCnstr' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'csid' Name ' ' Text '*' Name ' ' Text 'FgnCnstr' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Status' Keyword.Type ' ' Text '=' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Normal' Name.Class ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Constraint' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'csid' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Spine' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name ' ' Text 'option' Name ')' Punctuation '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Foreign' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'csid' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'Spine' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name ')' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'FgnUnify' Keyword.Type ' ' Text '=' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'R' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'l' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Succeed' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'FgnUnifyResidual' Name ' ' Text 'list' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'c' Comment.Multiline 'c' Comment.Multiline 'e' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline 'u' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Fail' Name.Class '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'FgnUnifyResidual' Keyword.Type ' ' Text '=' Punctuation '\n ' Text 'Assign' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Sub' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline 'm' Comment.Multiline 'e' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline '-' Comment.Multiline ' ' Comment.Multiline 'X' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Delay' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Cnstr' Name ' ' Text 'ref' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'o' Comment.Multiline 'c' Comment.Multiline 'i' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'V' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 'b' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'ConDec' Keyword.Type ' ' Text '=' Punctuation '\t\t\t ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'ConDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '*' Name ' ' Text 'Status' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'K' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Uni' Name '\t ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'ConDef' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'K' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Uni' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'M' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Ancestor' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'AbbrevDef' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'K' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Uni' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'M' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'BlockDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline '%' Comment.Multiline 'b' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 'c' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 'O' Comment.Multiline 'M' Comment.Multiline 'E' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline '1' Comment.Multiline ' ' Comment.Multiline 'P' Comment.Multiline 'I' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline '2' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Dec' Name ' ' Text 'list' Name '\n ' Text '|' Punctuation ' ' Text 'BlockDef' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'cid' Name ' ' Text 'list' Name '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline '%' Comment.Multiline 'b' Comment.Multiline 'l' Comment.Multiline 'o' Comment.Multiline 'c' Comment.Multiline 'k' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'l' Comment.Multiline '1' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline '.' Comment.Multiline '.' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'l' Comment.Multiline 'n' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'SkoDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'a' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'K' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Uni' Name '\t ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'c' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline ':' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'and' Keyword.Reserved ' ' Text 'Ancestor' Keyword.Type ' ' Text '=' Punctuation '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'Anc' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'cid' Name ' ' Text 'option' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '*' Name ' ' Text 'cid' Name ' ' Text 'option' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 'd' Comment.Multiline '(' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline '(' Comment.Multiline 'd' Comment.Multiline ')' Comment.Multiline ')' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'h' Comment.Multiline 't' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 'd' Comment.Multiline '(' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline '[' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'h' Comment.Multiline 't' Comment.Multiline ']' Comment.Multiline '(' Comment.Multiline 'd' Comment.Multiline ')' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'O' Comment.Multiline 'N' Comment.Multiline 'E' Comment.Multiline ' ' Comment.Multiline 'm' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline '{' Comment.Multiline 'x' Comment.Multiline ':' Comment.Multiline 'A' Comment.Multiline '}' Comment.Multiline 'B' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '' Text 'datatype' Keyword.Reserved ' ' Text 'StrDec' Keyword.Type ' ' Text '=' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'S' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'u' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'StrDec' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name ' ' Text '*' Name ' ' Text 'mid' Name ' ' Text 'option' Name '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'datatype' Keyword.Reserved ' ' Text 'ConDecForm' Keyword.Type ' ' Text '=' Punctuation '\n ' Text 'FromCS' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'r' Comment.Multiline 'o' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'o' Comment.Multiline 'm' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Ordinary' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'd' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '|' Punctuation ' ' Text 'Clause' Name.Class '\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline '%' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'u' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'T' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'b' Comment.Multiline 'b' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'v' Comment.Multiline 'i' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'dctx' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'Dec' Name ' ' Text 'Ctx' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline '|' Comment.Multiline ' ' Comment.Multiline 'G' Comment.Multiline ',' Comment.Multiline 'D' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'eclo' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'Exp' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' \t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'bclo' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'Block' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' \t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '=' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'type' Keyword.Reserved ' ' Text 'cnstr' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'Cnstr' Name ' ' Text 'ref' Name '\n\n ' Text '' Text 'exception' Keyword.Reserved ' ' Text 'Error' Name.Class ' ' Text 'of' Keyword.Reserved ' ' Text 'string' Name.Class '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'u' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'c' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'FgnExpStd' Name.Class ' ' Text ':' Name.Class ' ' Text 'sig' Name.Class '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'y' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'x' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'ToInternal' Name.Class ' ' Text ':' Name.Class ' ' Text 'FGN_OPN' Name.Class ' ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'arg' Name.Class ' ' Text '=' Name.Class ' ' Text 'unit' Name.Class '\n ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'result' Name.Class ' ' Text '=' Name.Class ' ' Text 'Exp' Name.Class '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'p' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'Map' Name.Class ' ' Text ':' Name.Class ' ' Text 'FGN_OPN' Name.Class ' ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'arg' Name.Class ' ' Text '=' Name.Class ' ' Text 'Exp' Name.Class ' ' Text '->' Name.Class ' ' Text 'Exp' Name.Class '\n\t\t\t ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'result' Name.Class ' ' Text '=' Name.Class ' ' Text 'Exp' Name.Class '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'p' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline 's' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'f' Comment.Multiline 'f' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'App' Name.Class ' ' Text ':' Name.Class ' ' Text 'FGN_OPN' Name.Class ' ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'arg' Name.Class ' ' Text '=' Name.Class ' ' Text 'Exp' Name.Class ' ' Text '->' Name.Class ' ' Text 'unit' Name.Class '\n\t\t\t ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'result' Name.Class ' ' Text '=' Name.Class ' ' Text 'unit' Name.Class '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'q' Comment.Multiline 'u' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'EqualTo' Name.Class ' ' Text ':' Name.Class ' ' Text 'FGN_OPN' Name.Class ' ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'arg' Name.Class ' ' Text '=' Name.Class ' ' Text 'Exp' Name.Class '\n ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'result' Name.Class ' ' Text '=' Name.Class ' ' Text 'bool' Name.Class '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'w' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'o' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Name.Class ' ' Text 'UnifyWith' Name.Class ' ' Text ':' Name.Class ' ' Text 'FGN_OPN' Name.Class ' ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'arg' Name.Class ' ' Text '=' Name.Class ' ' Text 'Dec' Name.Class ' ' Text 'Ctx' Name.Class ' ' Text '*' Name.Class ' ' Text 'Exp' Name.Class '\n ' Text 'where' Name.Class ' ' Text 'type' Name.Class ' ' Text 'result' Name.Class ' ' Text '=' Name.Class ' ' Text 'FgnUnify' Name.Class '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'l' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'h' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'm' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Name.Class ' ' Text 'fold' Name.Class ' ' Text ':' Name.Class ' ' Text '(' Punctuation 'csid' Name ' ' Text '*' Name ' ' Text 'FgnExp' Name ')' Punctuation ' ' Text '->' Punctuation ' ' Text '(' Punctuation 'Exp' Name ' ' Text '*' Name ' ' Text "'a" Name.Decorator ' ' Text '->' Punctuation ' ' Text "'a" Name.Decorator ')' Punctuation ' ' Text '->' Punctuation ' ' Text "'a" Name.Decorator ' ' Text '->' Punctuation ' ' Text "'a" Name.Decorator '\n ' Text 'end' Keyword.Reserved '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Keyword.Reserved ' ' Text 'FgnCnstrStd' Name.Namespace ' ' Text ':' Punctuation ' ' Text 'sig' Keyword.Reserved '\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 'v' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'r' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 'l' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'y' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'x' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'structure' Keyword.Reserved ' ' Text 'ToInternal' Name.Namespace ' ' Text ':' Punctuation ' ' Text 'FGN_OPN' Name ' ' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'arg' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'unit' Name '\n ' Text '' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'result' Keyword.Type ' ' Text '=' Punctuation ' ' Text '(' Punctuation 'Dec' Name ' ' Text 'Ctx' Name ' ' Text '*' Name ' ' Text 'Exp' Name ')' Punctuation ' ' Text 'list' Name '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'a' Comment.Multiline 'w' Comment.Multiline 'a' Comment.Multiline 'k' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'structure' Keyword.Reserved ' ' Text 'Awake' Name.Namespace ' ' Text ':' Punctuation ' ' Text 'FGN_OPN' Name ' ' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'arg' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'unit' Name '\n ' Text '' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'result' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'bool' Name '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'm' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'f' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text '' Text 'structure' Keyword.Reserved ' ' Text 'Simplify' Name.Namespace ' ' Text ':' Punctuation ' ' Text 'FGN_OPN' Name ' ' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'arg' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'unit' Name '\n ' Text '' Text 'where' Keyword.Reserved ' ' Text 'type' Keyword.Reserved ' ' Text 'result' Keyword.Type ' ' Text '=' Punctuation ' ' Text 'bool' Name '\n ' Text '' Text 'end' Keyword.Reserved '\n \n ' Text 'val' Keyword.Reserved ' ' Text 'conDecName' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'string' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecParent' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'mid' Name ' ' Text 'option' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecImp' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'int' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecStatus' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'Status' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecType' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecBlock' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'dctx' Name ' ' Text '*' Name ' ' Text 'Dec' Name ' ' Text 'list' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'conDecUni' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'Uni' Name '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'strDecName' Name.Variable ' ' Text ':' Punctuation ' ' Text 'StrDec' Name ' ' Text '->' Punctuation ' ' Text 'string' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'strDecParent' Name.Variable ' ' Text ':' Punctuation ' ' Text 'StrDec' Name ' ' Text '->' Punctuation ' ' Text 'mid' Name ' ' Text 'option' Name '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnReset' Name.Variable ' ' Text ':' Punctuation ' ' Text 'unit' Name ' ' Text '->' Punctuation ' ' Text 'unit' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnSize' Name.Variable ' ' Text ':' Punctuation ' ' Text 'unit' Name ' ' Text '->' Punctuation ' ' Text 'cid' Name ' ' Text '*' Name ' ' Text 'mid' Name '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnAdd' Name.Variable ' ' Text ':' Punctuation ' ' Text 'ConDec' Name ' ' Text '->' Punctuation ' ' Text 'cid' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnLookup' Name.Variable ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'ConDec' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnApp' Name.Variable ' ' Text ':' Punctuation ' ' Text '(' Punctuation 'cid' Name ' ' Text '->' Punctuation ' ' Text 'unit' Name ')' Punctuation ' ' Text '->' Punctuation ' ' Text 'unit' Name '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnStructAdd' Name.Variable ' ' Text ':' Punctuation ' ' Text 'StrDec' Name ' ' Text '->' Punctuation ' ' Text 'mid' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'sgnStructLookup' Name.Variable ' ' Text ':' Punctuation ' ' Text 'mid' Name ' ' Text '->' Punctuation ' ' Text 'StrDec' Name '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'constType' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'constDef' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'f' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'constImp' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'int' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'constStatus' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'Status' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'constUni' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'Uni' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'constBlock' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'dctx' Name ' ' Text '*' Name ' ' Text 'Dec' Name ' ' Text 'list' Name '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'C' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 't' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'ctxDec' Name.Variable ' ' Text ':' Punctuation ' ' Text 'dctx' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '->' Punctuation ' ' Text 'Dec' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'v' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'i' Comment.Multiline 'a' Comment.Multiline 'b' Comment.Multiline 'l' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'c' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'blockDec' Name.Variable ' ' Text ':' Punctuation ' ' Text 'dctx' Name ' ' Text '*' Name ' ' Text 'Block' Name ' ' Text '*' Name ' ' Text 'int' Name ' ' Text '->' Punctuation ' ' Text 'Dec' Name ' \n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 'c' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'u' Comment.Multiline 'b' Comment.Multiline 's' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'id' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'shift' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name '\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline '^' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'invShift' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline '^' Comment.Multiline '-' Comment.Multiline '1' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'bvarSub' Name.Variable ' ' Text ':' Punctuation ' ' Text 'int' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Front' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'k' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'frontSub' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Front' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Front' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'H' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'decSub' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Dec' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Dec' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'x' Comment.Multiline ':' Comment.Multiline 'V' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'blockSub' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Block' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Block' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline '[' Comment.Multiline 's' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'comp' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name ' ' Text '*' Name ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Sub' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline "'" Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'dot1' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Sub' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline '1' Comment.Multiline ' ' Comment.Multiline '.' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline '^' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'invDot1' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name ' ' Text '->' Punctuation ' ' Text 'Sub' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline '^' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline ' ' Comment.Multiline '^' Comment.Multiline '-' Comment.Multiline '1' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'V' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text 'val' Keyword.Reserved ' ' Text 'newEVar' Name.Variable ' ' Text ':' Punctuation ' ' Text 'dctx' Name ' ' Text '*' Name ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'X' Comment.Multiline ':' Comment.Multiline 'G' Comment.Multiline '|' Comment.Multiline '-' Comment.Multiline 'V' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline '[' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline ' \n ' Text 'val' Keyword.Reserved ' ' Text 'newAVar' Name.Variable ' ' Text ':' Punctuation ' ' Text 'unit' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\t ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'A' Comment.Multiline ' ' Comment.Multiline '(' Comment.Multiline 'b' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline ' \n ' Text 'val' Keyword.Reserved ' ' Text 'newTypeVar' Name.Variable ' ' Text ':' Punctuation ' ' Text 'dctx' Name ' ' Text '->' Punctuation ' ' Text 'Exp' Name '\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'X' Comment.Multiline ':' Comment.Multiline 'G' Comment.Multiline '|' Comment.Multiline '-' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ',' Comment.Multiline ' ' Comment.Multiline '[' Comment.Multiline ']' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'newLVar' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Sub' Name ' ' Text '*' Name ' ' Text '(' Punctuation 'cid' Name ' ' Text '*' Name ' ' Text 'Sub' Name ')' Punctuation ' ' Text '->' Punctuation ' ' Text 'Block' Name '\t\n\t\t\t\t\t' Text '(*' Comment.Multiline ' ' Comment.Multiline 'c' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline 'B' Comment.Multiline ':' Comment.Multiline '(' Comment.Multiline 'l' Comment.Multiline '[' Comment.Multiline '^' Comment.Multiline 'k' Comment.Multiline ']' Comment.Multiline ',' Comment.Multiline 't' Comment.Multiline ')' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline ' \n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'D' Comment.Multiline 'e' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'headOpt' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'Head' Name ' ' Text 'option' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'ancestor' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'Ancestor' Name '\n ' Text 'val' Keyword.Reserved ' ' Text 'defAncestor' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '->' Punctuation ' ' Text 'Ancestor' Name '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'T' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline 'l' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'u' Comment.Multiline 'n' Comment.Multiline 'c' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'o' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 'e' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'targetHeadOpt' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'Head' Name ' ' Text 'option' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'a' Comment.Multiline 'm' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'O' Comment.Multiline 'N' Comment.Multiline 'E' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'targetHead' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'Head' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'a' Comment.Multiline 'm' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'E' Comment.Multiline 'x' Comment.Multiline 'p' Comment.Multiline 'a' Comment.Multiline 'n' Comment.Multiline 'd' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'g' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'd' Comment.Multiline 'e' Comment.Multiline 'f' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline 'i' Comment.Multiline 'o' Comment.Multiline 'n' Comment.Multiline 's' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'targetFamOpt' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'cid' Name ' ' Text 'option' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'a' Comment.Multiline 'm' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline 'o' Comment.Multiline 'r' Comment.Multiline ' ' Comment.Multiline 'N' Comment.Multiline 'O' Comment.Multiline 'N' Comment.Multiline 'E' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'targetFam' Name.Variable ' ' Text ':' Punctuation ' ' Text 'Exp' Name ' ' Text '->' Punctuation ' ' Text 'cid' Name ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'a' Comment.Multiline 'r' Comment.Multiline 'g' Comment.Multiline 'e' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline 't' Comment.Multiline 'y' Comment.Multiline 'p' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'f' Comment.Multiline 'a' Comment.Multiline 'm' Comment.Multiline 'i' Comment.Multiline 'l' Comment.Multiline 'y' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n\n ' Text '(*' Comment.Multiline ' ' Comment.Multiline 'U' Comment.Multiline 's' Comment.Multiline 'e' Comment.Multiline 'd' Comment.Multiline ' ' Comment.Multiline 'i' Comment.Multiline 'n' Comment.Multiline ' ' Comment.Multiline 'F' Comment.Multiline 'l' Comment.Multiline 'i' Comment.Multiline 't' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n ' Text 'val' Keyword.Reserved ' ' Text 'rename' Name.Variable ' ' Text ':' Punctuation ' ' Text 'cid' Name ' ' Text '*' Name ' ' Text 'string' Name ' ' Text '->' Punctuation ' ' Text 'unit' Name '\n\n' Text 'end' Keyword.Reserved ';' Punctuation ' ' Text '(*' Comment.Multiline ' ' Comment.Multiline 's' Comment.Multiline 'i' Comment.Multiline 'g' Comment.Multiline 'n' Comment.Multiline 'a' Comment.Multiline 't' Comment.Multiline 'u' Comment.Multiline 'r' Comment.Multiline 'e' Comment.Multiline ' ' Comment.Multiline 'I' Comment.Multiline 'N' Comment.Multiline 'T' Comment.Multiline 'S' Comment.Multiline 'Y' Comment.Multiline 'N' Comment.Multiline ' ' Comment.Multiline '*)' Comment.Multiline '\n' Text