package yices2_bindings

  1. Overview
  2. Docs
val code : unit -> Types.error_code
val report : unit -> Types.error_report
val clear : unit -> unit