package tip-parser

  1. Overview
  2. Docs
package tip-parser
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WILDCARD
  2. | TRUE
  3. | RIGHT_PAREN
  4. | QUOTED of string
  5. | PROVE
  6. | PAR
  7. | OR
  8. | NOT
  9. | MATCH
  10. | LET
  11. | LEMMA
  12. | LEFT_PAREN
  13. | IS
  14. | IF
  15. | IDENT of string
  16. | FUN
  17. | FORALL
  18. | FALSE
  19. | EXISTS
  20. | EQ
  21. | EOI
  22. | DISTINCT
  23. | DEFINE_FUN_REC
  24. | DEFINE_FUNS_REC
  25. | DEFINE_FUN
  26. | DEFAULT
  27. | DECLARE_SORT
  28. | DECLARE_FUN
  29. | DECLARE_CONST
  30. | DATA
  31. | CHECK_SAT
  32. | CASE
  33. | BOOL
  34. | AT
  35. | ASSERT_NOT
  36. | ASSERT
  37. | AS
  38. | ARROW
  39. | 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