Commit | Line | Data |
---|---|---|
951c7801 C |
1 | type sequence = |
2 | Seq of element * sequence | |
3 | | Empty | |
4 | | SExists of Ast_cocci.meta_name * sequence | |
5 | ||
6 | and element = | |
7 | Term of Ast_cocci.rule_elem | |
8 | | Or of sequence * sequence | |
9 | | DInfo of dots * element list (* before *) * element list (* after *) | |
10 | | EExists of Ast_cocci.meta_name * element | |
11 | ||
ae4735db | 12 | and dots = |
951c7801 C |
13 | Dots |
14 | | Nest of sequence | |
15 | | When of dots * sequence | |
16 | | DExists of Ast_cocci.meta_name * dots |