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