package logtk

  1. Overview
  2. Docs
Core types and algorithms for logic

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (4)

Authors

  1. S
    Simon Cruanes

Maintainers

  1. S
    simon.cruanes.2007@m4x.org

Sources

1.5.1.tar.gz
md5=cc320f66f10555c54822da624419e003
sha512=f8d5f7a5ae790bf0388d74261673803cf375f91f92f7b413b70db1ce5841ef55343a208f98727c8551d66f1840ab892f1c0c943a34861d14d79ce469b235a2f2

doc/logtk.parsers/Logtk_parsers/Parse_tptp/index.html

Module Logtk_parsers.Parse_tptpSource

Sourcetype 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. | NOTAND
  19. | NOT
  20. | LOWER_WORD of string
  21. | LEFT_PAREN
  22. | LEFT_IMPLY
  23. | LEFT_BRACKET
  24. | LAMBDA
  25. | INTEGER of string
  26. | INCLUDE
  27. | IMPLY
  28. | FORALL_TY
  29. | FORALLCONST
  30. | FORALL
  31. | FOF
  32. | FALSE
  33. | EXISTSCONST
  34. | EXISTS
  35. | EQUIV
  36. | EQUAL
  37. | EOI
  38. | DOT
  39. | DOLLAR_WORD of string
  40. | DOLLAR_DOLLAR_WORD of string
  41. | DISTINCT_OBJECT of string
  42. | COMMA
  43. | COLUMN
  44. | CNF
  45. | AT
  46. | ARROW
  47. | AND
Sourceexception Error
Sourceval parse_formula : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.STerm.t
Sourceval 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