type token = | WITH_TRANSITION |
| WHITELIST_PATH |
| WHEN |
| TRUE |
| STRING of string |
| SOURCE_EXPR |
| SIBLING |
| SET |
| SEMICOLON |
| RIGHT_SQBRACE |
| RIGHT_PAREN |
| RIGHT_BRACE |
| REGEXP |
| PROTOCOL |
| POINTER_TO_DECL |
| PARAMETER_POS |
| PARAMETER_NAME |
| PARAMETERS |
| OR |
| NOT |
| LET |
| LEFT_SQBRACE |
| LEFT_PAREN |
| LEFT_BRACE |
| INTERFACE |
| INIT_EXPR |
| IMPLIES |
| IMPLEMENTATION |
| IDENTIFIER of string |
| HOLDS_IN_OBJCCLASS |
| HOLDS_IN_NODE |
| HASHIMPORT |
| GLOBAL_PATHS |
| GLOBAL_MACROS |
| FIELD_NAME |
| FIELDS |
| FALSE |
| EX |
| EU |
| ET |
| EOF |
| EH |
| EG |
| EF |
| DEFINE_CHECKER |
| COND |
| COMMA |
| COLON |
| BODY |
| BLACKLIST_PATH |
| AX |
| AU |
| ASSIGNMENT |
| ANY |
| AND_WITH_WITNESSES |
| AND |
| AG |
| AF |
| ACCESSOR_FOR_PROPERTY |
exception Error
val al_file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> CTL.al_file