package smtlib-utils

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | WILDCARD
  2. | TRUE
  3. | RIGHT_PAREN
  4. | QUOTED of string
  5. | PROD
  6. | PAR
  7. | OR
  8. | NOT
  9. | MINUS
  10. | MATCH
  11. | LT
  12. | LET
  13. | LEQ
  14. | LEFT_PAREN
  15. | IS
  16. | IF
  17. | IDENT of string
  18. | GT
  19. | GET_VALUE
  20. | GEQ
  21. | FUN
  22. | FORALL
  23. | FALSE
  24. | EXISTS
  25. | EQ
  26. | EOI
  27. | DIV
  28. | DISTINCT
  29. | DEFINE_FUN_REC
  30. | DEFINE_FUNS_REC
  31. | DEFINE_FUN
  32. | DECLARE_SORT
  33. | DECLARE_FUN
  34. | DECLARE_CONST
  35. | DATA
  36. | CHECK_SAT_ASSUMING
  37. | CHECK_SAT
  38. | BANG
  39. | AT
  40. | ASSERT
  41. | AS
  42. | ARROW
  43. | AND
  44. | ADD
exception Error
val parse_ty : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.ty
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.term
val parse_list : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.statement list
val parse : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Smtlib_utils__.Ast.statement
OCaml

Innovation. Community. Security.