sig
  type t = Hstring.t
  val type_int : Smt.Type.t
  val type_real : Smt.Type.t
  val type_bool : Smt.Type.t
  val type_proc : Smt.Type.t
  val declare : Hstring.t -> Hstring.t list -> unit
  val all_constructors : unit -> Hstring.t list
  val constructors : Smt.Type.t -> Hstring.t list
end