package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | TRUE
  2. | RIGHT_PAREN
  3. | QUOTED of string
  4. | PATTERN
  5. | PAR
  6. | OR
  7. | NOT
  8. | NAMED
  9. | MATCH
  10. | LET
  11. | LEMMA
  12. | LEFT_PAREN
  13. | IF
  14. | IDENT of string
  15. | FUN
  16. | FORALL
  17. | FALSE
  18. | EXIT
  19. | EXISTS
  20. | EXCL
  21. | EQ
  22. | EOI
  23. | DISTINCT
  24. | DEFINE_FUN_REC
  25. | DEFINE_FUNS_REC
  26. | DEFINE_FUN
  27. | DEFAULT
  28. | DECLARE_SORT
  29. | DECLARE_FUN
  30. | DECLARE_CONST
  31. | DATA
  32. | CHECK_SAT
  33. | CASE
  34. | BOOL
  35. | AT
  36. | ASSERT_NOT
  37. | ASSERT
  38. | AS
  39. | ARROW
  40. | AND
exception Error
val parse_ty : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.ty
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.term
val parse_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Tip_ast.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