package yices2_bindings

  1. Overview
  2. Docs
exception YicesException of Types.error_code * Types.error_report
exception YicesBindingsException of string
type !'a t = 'a
val raise_error : string -> 'a t
val return_sint : 'a Types.sintbase -> 'a Types.sintbase t
val return_uint : 'a Types.uintbase -> 'a Types.uintbase t
val return_ptr : 'a Ctypes_static.ptr -> 'a Ctypes_static.ptr t
val return : 'a -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t