package dose3-extra

  1. Overview
  2. Docs
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