package yices2_bindings

  1. Overview
  2. Docs
type t
val set : t -> string -> unit
val remove : string -> unit
val of_name : string -> t
val clear : t -> unit
val to_name : t -> string