`type token =`

1. `| IDENT of string`
2. `| LPAREN`
3. `| RPAREN`
4. `| COMMA`
5. `| REGEXP of string`
6. `| EXACT of string`
7. `| PLUS`
8. `| MINUS`
9. `| EOL`
10. `| COUNT`
11. `| SUM`
12. `| UNSATREC`
13. `| ALIGNED`
14. `| NOTUPTODATE`
15. `| SOLUTION`
16. `| CHANGED`
17. `| NEW`
18. `| REMOVED`
19. `| UP`
20. `| DOWN`

`val criteria_top : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Criteria_types.criteria`