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_zf/index.html

Module Logtk_parsers.Parse_zfSource

Sourcetype token =
  1. | WITH
  2. | WILDCARD
  3. | WHERE
  4. | VERTICAL_BAR
  5. | VAL
  6. | UPPER_WORD of string
  7. | TYPE
  8. | THEN
  9. | SINGLE_QUOTED of string
  10. | SEMI_COLON
  11. | RIGHT_PAREN
  12. | RIGHT_BRACKET
  13. | REWRITE
  14. | QUOTED of string
  15. | PROP
  16. | PI
  17. | MATCH
  18. | LOWER_WORD of string
  19. | LOGIC_TRUE
  20. | LOGIC_OR
  21. | LOGIC_NOT
  22. | LOGIC_NEQ
  23. | LOGIC_IMPLY
  24. | LOGIC_FORALL
  25. | LOGIC_FALSE
  26. | LOGIC_EXISTS
  27. | LOGIC_EQUIV
  28. | LOGIC_EQ
  29. | LOGIC_AND
  30. | LET
  31. | LEMMA
  32. | LEFT_PAREN
  33. | LEFT_BRACKET
  34. | INTEGER of string
  35. | INT
  36. | INCLUDE
  37. | IN
  38. | IF
  39. | GOAL
  40. | FUN
  41. | EQDEF
  42. | EOI
  43. | END
  44. | ELSE
  45. | DOT
  46. | DEF
  47. | DATA
  48. | COMMA
  49. | COLON
  50. | ASSERT
  51. | ARROW
  52. | ARITH_PRODUCT
  53. | ARITH_PLUS
  54. | ARITH_MINUS
  55. | ARITH_LT
  56. | ARITH_LEQ
  57. | ARITH_GT
  58. | ARITH_GEQ
  59. | AND
Sourceexception Error
Sourceval parse_statement_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logtk.UntypedAST.statement 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