searching CamlLight functions via type isomorphisms
You can search here a CamlLight function in various libraries, using its type. The search algorithm works up to type isomorphisms, whose theory has been established in several works (see for example this book and this online page).
Enter here the type of the function you are looking for, choosing libraires or modules where you want to search, and some parameters for the search algorithm.
For example, if you look for all binary operators over numbers, you can find them by entering int -> int -> int (or also int * int -> int, as these two types are isomorphic). Or you can try 'a*('b->'a->'a)->'b list ->'a if you look for an iterator over polymorphic lists.