package yices2_bindings

  1. Overview
  2. Docs
val set : Yices2_low.Types.term_t -> string -> unit
val remove : string -> unit
val of_name : string -> Yices2_low.Types.term_t
val clear : Yices2_low.Types.term_t -> unit
val to_name : Yices2_low.Types.term_t -> string