package yices2_bindings

  1. Overview
  2. Docs
val malloc : unit -> t EH.t
val free : t -> unit
val default : Context.t -> t -> unit
val set : t -> name:string -> value:string -> unit EH.t