]> matita.cs.unibo.it Git - helm.git/blob - helm/searchEngine/mooglePp.mli
projects / helm.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
- reimplemented basic features using the helm-metadata library instead
[helm.git] / helm / searchEngine / mooglePp.mli
1 val pp_error : string -> string -> string
2 val theory_of_result : Http_types.request -> string list -> string
3 val html_of_interpretations: (string * string) list list -> string
Unnamed repository; edit this file 'description' to name the repository.