OFTS OCaml Fuzzy Type Search Ultimate goal: Hoogle for OCaml, able to mine all your opam-installed packages, from the command-line. PS: there will be no diophantine equation solver in there; just a hack to get 80% of the job done.