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