--- a/src/HOL/Tools/ATP/atp_problem.ML Thu Oct 01 17:21:47 2020 +0200
+++ b/src/HOL/Tools/ATP/atp_problem.ML Fri Oct 02 10:18:50 2020 +0200
@@ -139,6 +139,7 @@
val strip_atype : 'a atp_type -> 'a list * ('a atp_type list * 'a atp_type)
val is_format_higher_order : atp_format -> bool
val tptp_string_of_format : atp_format -> string
+ val tptp_string_of_role : atp_formula_role -> string
val tptp_string_of_line : atp_format -> string atp_problem_line -> string
val lines_of_atp_problem :
atp_format -> term_order -> (unit -> (string * int) list)