package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | UNDERSCORE
  2. | SYMBOL of string
  3. | STRING of string
  4. | SETOPTION
  5. | SETLOGIC
  6. | SETINFO
  7. | RPAREN
  8. | RESETASSERTIONS
  9. | RESET
  10. | QUOTEDSYMBOL of string
  11. | PUSH
  12. | POP
  13. | PAR
  14. | NUMERAL of Smtlib.numeral
  15. | MODEL
  16. | METAINFO
  17. | LPAREN
  18. | LET
  19. | LAMBDA
  20. | KEYWORD of string
  21. | HEXADECIMAL of string
  22. | GETVALUE
  23. | GETUNSATCORE
  24. | GETUNSATASSUMPTIONS
  25. | GETPROOF
  26. | GETOPTION
  27. | GETMODEL
  28. | GETINFO
  29. | GETASSIGNMENT
  30. | GETASSERTIONS
  31. | FORALL
  32. | EXIT
  33. | EXISTS
  34. | EOF
  35. | ECHO
  36. | DEFINESORT
  37. | DEFINEFUNREC
  38. | DEFINEFUN
  39. | DECLARESORT
  40. | DECLAREFUN
  41. | DECLARECONST
  42. | DECIMAL of string
  43. | CHECKSAT
  44. | BV_NUMERAL of string
  45. | BOOL of bool
  46. | BINARY of string
  47. | BANG
  48. | ASSERT
  49. | AS
exception Error
val value : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Smtlib.term * Smtlib.term) list
val ivalue : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Smtlib.term * Smtlib.term) 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