package dolmen

  1. Overview
  2. Docs
type t
type id
type term
type location
val pop : ?loc:location -> int -> t
val push : ?loc:location -> int -> t
val assert_ : ?loc:location -> term -> t
val check_sat : ?loc:location -> unit -> t
val set_logic : ?loc:location -> string -> t
val get_info : ?loc:location -> string -> t
val set_info : ?loc:location -> (string * term option) -> t
val get_option : ?loc:location -> string -> t
val set_option : ?loc:location -> (string * term option) -> t
val type_decl : ?loc:location -> id -> int -> t
val type_def : ?loc:location -> id -> id list -> term -> t
val fun_decl : ?loc:location -> id -> term list -> term -> t
val fun_def : ?loc:location -> id -> term list -> term -> term -> t
val get_proof : ?loc:location -> unit -> t
val get_unsat_core : ?loc:location -> unit -> t
val get_value : ?loc:location -> term list -> t
val get_assignment : ?loc:location -> unit -> t
val get_assertions : ?loc:location -> unit -> t
val exit : ?loc:location -> unit -> t
OCaml

Innovation. Community. Security.