package tptp

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

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct