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. | NARY of Ty.t * Ty.naryop
  14. | LPAREN
  15. | LOGIC of Ty.logic
  16. | LET_CONST
  17. | GET_MODEL
  18. | EXTRACT
  19. | EOF
  20. | DEC of float
  21. | CVTOP of Ty.t * Ty.cvtop
  22. | CONCAT
  23. | CHECK_SAT
  24. | BOOL of bool
  25. | BINARY of Ty.t * Ty.binop
  26. | ASSERT
exception Error
val script : (Smtml_prelude.Lexing.lexbuf -> token) -> Smtml_prelude.Lexing.lexbuf -> Ast.t list
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