package yices2_bindings

  1. Overview
  2. Docs
val ddisplay : Types.display
val type_file : Yices2_low.Types.FILE.t Ctypes.ptr -> ?display:Types.display -> Yices2_low.Types.type_t -> unit eh
val term_file : Yices2_low.Types.FILE.t Ctypes.ptr -> ?display:Types.display -> Yices2_low.Types.term_t -> unit eh
val terms_file : Yices2_low.Types.FILE.t Ctypes.ptr -> ?display:Types.display -> Yices2_low.Types.term_t list -> layout:bool -> unit eh
val model_file : Yices2_low.Types.FILE.t Ctypes.ptr -> ?display:Types.display -> Yices2_low.Types.model_t Ctypes.ptr -> unit eh
val term_values_file : Yices2_low.Types.FILE.t Ctypes.ptr -> ?display:Types.display -> Yices2_low.Types.model_t Ctypes.ptr -> Yices2_low.Types.term_t list -> unit eh
val type_fd : Signed.sint -> ?display:Types.display -> Yices2_low.Types.type_t -> unit eh
val term_fd : Signed.sint -> ?display:Types.display -> Yices2_low.Types.term_t -> unit eh
val terms_fd : Signed.sint -> ?display:Types.display -> Yices2_low.Types.term_t list -> layout:bool -> unit eh
val model_fd : Signed.sint -> ?display:Types.display -> Yices2_low.Types.model_t Ctypes.ptr -> unit eh
val term_values_fd : Signed.sint -> ?display:Types.display -> Yices2_low.Types.model_t Ctypes.ptr -> Yices2_low.Types.term_t list -> unit eh
val type_string : ?display:Types.display -> Yices2_low.Types.type_t -> string eh
val term_string : ?display:Types.display -> Yices2_low.Types.term_t -> string eh
val model_string : ?display:Types.display -> Yices2_low.Types.model_t Ctypes.ptr -> string eh
OCaml

Innovation. Community. Security.