package tptp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | VLINE
  2. | UPPER_WORD of string
  3. | TILDE_VLINE
  4. | TILDE_AMPERSAND
  5. | TILDE
  6. | STAR
  7. | SINGLE_QUOTED of string
  8. | RPAR
  9. | REAL of Q.t
  10. | RBRKT
  11. | RATIONAL of Q.t
  12. | QUESTION
  13. | PLUS
  14. | LPAR
  15. | LOWER_WORD of string
  16. | LESS_TILDE_GREATER
  17. | LESS_EQUALS_GREATER
  18. | LESS_EQUALS
  19. | LBRKT
  20. | INTEGER of Z.t
  21. | INCLUDE_KW
  22. | FOF_KW
  23. | EXCLAMATION_EQUALS
  24. | EXCLAMATION
  25. | EQUALS_GREATER
  26. | EQUALS
  27. | EOF
  28. | DOT
  29. | DOLLAR_WORD of string
  30. | DOLLAR_FOT_KW
  31. | DOLLAR_FOF_KW
  32. | DOLLAR_DOLLAR_WORD of string
  33. | DOLLAR_CNF_KW
  34. | DISTINCT_OBJECT of string
  35. | DASH_DASH_GREATER
  36. | COMMENT of string
  37. | COMMA
  38. | COLON
  39. | CNF_KW
  40. | AMPERSAND
exception Error
val tptp_input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tptp_ast.tptp_input option