val pp_error : string -> string -> string
-val theory_of_result : Http_types.request -> string list -> string
+val theory_of_result : Http_types.request -> int -> string list -> string
val html_of_interpretations: (string * string) list list -> string