package yices2_bindings

  1. Overview
  2. Docs
type t = Yices2_low.Types.ctx_config_t Ctypes.ptr
val malloc : unit -> t eh
val free : t -> unit
val set : t -> name:string -> value:string -> unit eh
val default : ?logic:string -> t -> unit eh