package yices2_bindings

  1. Overview
  2. Docs
type error =
  1. | Yices of Types.error_code * Types.error_report
  2. | Bindings of string
type !'a t = ('a, error) Stdlib.Result.t
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
OCaml

Innovation. Community. Security.