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