package mc2

  1. Overview
  2. Docs
package mc2
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mc2_core.StatementSource

Sourcetype 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_decl of ID.t * Mc2_core__.Solver_types.ty list * Mc2_core__.Solver_types.ty
  6. | Stmt_define of (ID.t * (ID.t * Mc2_core__.Solver_types.ty) list * Mc2_core__.Solver_types.ty * Mc2_core__.Solver_types.term) list
  7. | Stmt_assert_clauses of Mc2_core__.Solver_types.atom list list
  8. | Stmt_check_sat
  9. | Stmt_exit
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