sig   type t   type namespace   val term : Ast_tptp.Id.namespace   val decl : Ast_tptp.Id.namespace   val mk : Ast_tptp.Id.namespace -> string -> Ast_tptp.Id.t end