package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type token =
  1. | UNARY of Ty.t * Ty.unop
  2. | TYPE of Ty.t
  3. | TERNARY of Ty.t * Ty.triop
  4. | SYMBOL of string
  5. | STR of string
  6. | SET_LOGIC
  7. | RPAREN
  8. | RELOP of Ty.t * Ty.relop
  9. | PUSH
  10. | PTR
  11. | POP
  12. | NUM of int
  13. | LPAREN
  14. | LOGIC of Ty.logic
  15. | LET_CONST
  16. | GET_MODEL
  17. | EXTRACT
  18. | EOF
  19. | DEC of float
  20. | CVTOP of Ty.t * Ty.cvtop
  21. | CONCAT
  22. | CHECK_SAT
  23. | BOOL of bool
  24. | BINARY of Ty.t * Ty.binop
  25. | ASSERT
exception Error
val script : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.t 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