yices2_bindings 0.1 · OCaml Package

val ddisplay : Yices2_high_types.Types.display

val type_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.type_t ->
  unit EH.t

val term_file : 
  Yices2_low.Types.FILE.t Ctypes.ptr ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t ->
  unit EH.t

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 type_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.type_t ->
  unit EH.t

val term_fd : 
  Signed.sint ->
  ?display:Yices2_high_types.Types.display ->
  Yices2_low.Types.term_t ->
  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

package yices2_bindings