package yices2_bindings

  1. Overview
  2. Docs
type t =
  1. | DeclareType of string
  2. | DeclareFun of string * Type.t
  3. | Status
  4. | Reset
  5. | Push
  6. | Pop
  7. | EnableOption of string
  8. | DisableOption of string
  9. | AssertFormula of Term.t
  10. | AssertFormulas of Term.t list
  11. | Check of Yices2_low.Types.param_t Ctypes.ptr option
  12. | CheckWithAssumptions of Yices2_low.Types.param_t Ctypes.ptr option * Term.t list
  13. | Stop
  14. | GetModel
  15. | GetUnsatCore
val to_sexp : Sexplib.Sexp.t list -> t -> Sexplib.Sexp.t list