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 terms_fd : Signed.sint -> ?display:Yices2_high_types.Types.display -> Yices2_low.Types.term_t list -> layout:bool -> 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