package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | XOR
  2. | WILDCARD
  3. | VLINE
  4. | UPPER_WORD of string
  5. | UNDERSCORE
  6. | TYPE_TY
  7. | TRUE
  8. | THF
  9. | TFF
  10. | STAR
  11. | SINGLE_QUOTED of string
  12. | RIGHT_PAREN
  13. | RIGHT_BRACKET
  14. | REAL of string
  15. | RATIONAL of string
  16. | NOT_EQUAL
  17. | NOTVLINE
  18. | NOTCONST
  19. | NOTAND
  20. | NOT
  21. | LOWER_WORD of string
  22. | LEFT_PAREN
  23. | LEFT_IMPLY
  24. | LEFT_BRACKET
  25. | LAMBDA
  26. | ITE
  27. | INTEGER of string
  28. | INCLUDE
  29. | IMPLYCONST
  30. | IMPLY
  31. | FORALL_TY
  32. | FORALLCONST
  33. | FORALL
  34. | FOF
  35. | FALSE
  36. | EXISTSCONST
  37. | EXISTS
  38. | EQUIV
  39. | EQUAL
  40. | EOI
  41. | DOT
  42. | DOLLAR_WORD of string
  43. | DOLLAR_DOLLAR_WORD of string
  44. | DISTINCT_OBJECT of string
  45. | COMMA
  46. | COLUMN
  47. | CNF
  48. | CHOICE_CONST
  49. | CHOICE_BINDER
  50. | AT
  51. | ARROW
  52. | AND
exception Error
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.t
val parse_formula : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.t
val parse_declarations : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.t Ast_tptp.declaration list
val parse_answer_tuple : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.t list list
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