package yices2_bindings

  1. Overview
  2. Docs
type t
val init : unit -> t
val add : t -> (string * Yices2_ext_bindings.Term.t) list -> t
val permanently_add : t -> string -> Yices2_ext_bindings.Term.t -> unit
val mem : t -> string -> bool
val find : t -> string -> Yices2_ext_bindings.Term.t