package yices2_bindings

  1. Overview
  2. Docs
val num_terms : unit -> int
val num_types : unit -> int
val incref_term : Yices2_low.Types.term_t -> unit EH.t
val decref_term : Yices2_low.Types.term_t -> unit EH.t
val incref_type : Yices2_low.Types.type_t -> unit EH.t
val decref_type : Yices2_low.Types.type_t -> unit EH.t
val num_posref_terms : unit -> int
val num_posref_types : unit -> int
val garbage_collect : Yices2_low.Types.term_t list -> Yices2_low.Types.type_t list -> bool -> unit