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