package why3

  1. Overview
  2. Docs
Package contains no libraries
type token =
  1. | VALID
  2. | VAL
  3. | USE
  4. | UNKNOWN
  5. | UNDERSCORE
  6. | TYPE
  7. | TRANSFORM
  8. | TIMEOUT
  9. | TIME
  10. | THEORY
  11. | SYNTAX
  12. | STRING of string
  13. | STEPS
  14. | STEPLIMITEXCEEDED
  15. | RIGHTSQ_QUOTE of string
  16. | RIGHTSQ
  17. | RIGHTPAR_QUOTE of string
  18. | RIGHTPAR
  19. | REMOVE
  20. | QUOTE
  21. | PROP
  22. | PRINTER
  23. | PRELUDE
  24. | PREDICATE
  25. | PREC
  26. | PLUGIN
  27. | OVERRIDING
  28. | OUTOFMEMORY
  29. | OPERATOR of string
  30. | MODULE
  31. | MODEL_PARSER
  32. | META
  33. | LITERAL
  34. | LEFTSQ
  35. | LEFTPAR
  36. | LARROW
  37. | INVALID
  38. | INTERFACE
  39. | INTEGER of int
  40. | INPUT of string
  41. | IDENT of string
  42. | FUNCTION
  43. | FILENAME
  44. | FAIL
  45. | EXCEPTION
  46. | EOF
  47. | END
  48. | DOTDOT
  49. | DOT
  50. | CONSTANT
  51. | COMMA
  52. | BLACKLIST
  53. | ALL
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