package mc2

  1. Overview
  2. Docs
type t =
  1. | Stmt_set_logic of string
  2. | Stmt_set_option of string list
  3. | Stmt_set_info of string * string
  4. | Stmt_ty_decl of ID.t * int
  5. | Stmt_check_sat
  6. | Stmt_exit
OCaml

Innovation. Community. Security.