package yices2_bindings

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

Innovation. Community. Security.