package smtlib-utils

  1. Overview
  2. Docs

Module V_2_6.ParserSource

Sourcetype token =
  1. | WILDCARD
  2. | SIGN_EXTEND
  3. | RIGHT_PAREN
  4. | QUOTED of string
  5. | PAR
  6. | MATCH
  7. | LET
  8. | LEFT_PAREN
  9. | IS
  10. | IF
  11. | IDENT of string
  12. | GET_VALUE
  13. | FUN
  14. | FORALL
  15. | EXTRACT
  16. | EXISTS
  17. | EQ
  18. | EOI
  19. | DISTINCT
  20. | DEFINE_FUN_REC
  21. | DEFINE_FUNS_REC
  22. | DEFINE_FUN
  23. | DECLARE_SORT
  24. | DECLARE_FUN
  25. | DECLARE_CONST
  26. | DATUM
  27. | DATA
  28. | CHECK_SAT_ASSUMING
  29. | CHECK_SAT
  30. | BITVEC
  31. | BANG
  32. | AT
  33. | ASSERT
  34. | AS
  35. | ARROW
Sourceexception Error
Sourceval parse_ty : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.ty
Sourceval parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.term
Sourceval parse_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.statement list
Sourceval parse : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.statement