C | |
| cstor [Tip_ast] | |
F | |
| fun_decl [Tip_ast] | |
| fun_def [Tip_ast] | |
| funs_rec_def [Tip_ast] | |
M | |
| match_branch [Tip_ast] | |
S | |
| statement [Tip_ast] | |
| stmt [Tip_ast] | |
T | |
| t [Tip_loc] | |
| term [Tip_ast] |
AST: S-expressions with locations
|
| token [Tip_parser] | |
| ty [Tip_ast] |
Polymorphic types
|
| ty_var [Tip_ast] | |
| typed_var [Tip_ast] | |
V | |
| var [Tip_ast] |