sig
  type t
  type namespace
  val sort : Ast_smtlib.Id.namespace
  val term : Ast_smtlib.Id.namespace
  val attr : Ast_smtlib.Id.namespace
  val mk : Ast_smtlib.Id.namespace -> string -> Ast_smtlib.Id.t
end