package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
val file : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Ast_dk.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