type env = {verbosity : int;logic : string;types : Yices2_high.Types.type_t VarMap.t;variables : Variables.t;context : Yices2_ext_bindings.Context.t;param : Yices2_ext_bindings.Param.t;model : Yices2_ext_bindings.Model.t option;}val to_SMT2 : env -> stringtype t = {verbosity : int;config : Yices2_ext_bindings.Config.t;env : env option Stdlib.ref;infos : string StringHashtbl.t;options : string StringHashtbl.t;set_logic : string -> Yices2_ext_bindings.Config.t -> unit;}val create :
?set_logic:(string -> Yices2_ext_bindings.Config.t -> unit) ->
int ->
tval init_env : t -> logic:string -> unitval exit : t -> unit