package why3

  1. Overview
  2. Docs
Package contains no libraries
type token =
  1. | UNDERSCORE
  2. | TRUE
  3. | STRING of string
  4. | STORE
  5. | RPAREN
  6. | NOT
  7. | MODEL
  8. | MINUS_INT_STR of string
  9. | MINUS_DEC_STR of string * string
  10. | LPAREN
  11. | LET
  12. | LE
  13. | LAMBDA
  14. | ITE
  15. | INT_TO_BV of string
  16. | INT_STR of string
  17. | GE
  18. | FORALL
  19. | FLOAT_VALUE of Model_parser.float_type
  20. | FLOAT_TYPE of string * string
  21. | FALSE
  22. | EQUAL
  23. | EOF
  24. | DIV
  25. | DEFINE_FUN
  26. | DEC_STR of string * string
  27. | DECLARE_SORT
  28. | DECLARE_FUN
  29. | DECLARE_DATATYPES
  30. | CONST
  31. | COMMENT of string
  32. | BITVECTOR_VALUE_SHARP of string
  33. | BITVECTOR_VALUE_INT of string
  34. | BITVECTOR_TYPE
  35. | BITVECTOR_EXTRACT of string
  36. | ATOM of string
  37. | AS_ARRAY
  38. | AS
  39. | ARRAY_LAMBDA
  40. | AND
exception Error
module MenhirInterpreter : sig ... end
module Incremental : sig ... end
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