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
  2. P
    Petar Vukmirovic
  3. A
    Alexander Bentkamp
  4. S
    Sophie Tourret
  5. V
    Visa Nummelin

Maintainers

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

Sources

2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9
sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287

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

Module Logtk_parsers.Parse_dk

type token =
  1. | TYPE
  2. | TRUE
  3. | TERM
  4. | RPAREN
  5. | REW
  6. | RBRACK
  7. | QID of string
  8. | PROP
  9. | PROOF
  10. | OR
  11. | NUMBER of string
  12. | NOT
  13. | LPAREN
  14. | LBRACK
  15. | IMP
  16. | ID of string
  17. | FALSE
  18. | EX_TYPE
  19. | EX
  20. | EQV
  21. | EQUAL
  22. | EOF
  23. | END_VAR
  24. | END_TYPEALIAS
  25. | END_HYP
  26. | ENDPROOF
  27. | DOUBLE_ARROW
  28. | DOT
  29. | DEFKW
  30. | DEF
  31. | COMMA
  32. | COLON
  33. | CCARR
  34. | BEGIN_VAR
  35. | BEGIN_TYPEALIAS
  36. | BEGIN_TY
  37. | BEGIN_HYP
  38. | BEGINPROOF
  39. | BEGINNAME of string
  40. | BEGINHEADER
  41. | ARROW
  42. | AND
  43. | ALL_TYPE
  44. | ALL
exception Error
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