- reimplemented basic features using the helm-metadata library instead

[helm.git] / helm / searchEngine / mooglePp.mli

diff --git a/helm/searchEngine/mooglePp.mli b/helm/searchEngine/mooglePp.mli
new file mode 100644 (file)
index 0000000..1cea107
--- /dev/null
+++ b/helm/searchEngine/mooglePp.mli
@@ -0,0 +1,3 @@
+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