* QUERY_SUMMARY and QUERY_RESULTS tag in moogle's main template *)
val theory_of_result : int -> string list -> string * string
* QUERY_SUMMARY and QUERY_RESULTS tag in moogle's main template *)
val theory_of_result : int -> string list -> string * string