README file for the SEARCH-ISOS package.

This package contains the source code and the full documentation for a library
search routine that allows to retrieve identifiers based  on their type.   The
new commands are   a  natural complement  to  the preexisting  search_variable
command:

        search_isos : string -> unit
        search_iso  : string -> unit

To just compile the code, type
        
        make install

To compile the code and the documentation, type

        make all

Then clean up the documentation directory by typing

        make clean


To test the command, then, run CAML and search some interesting types,
like in 

        #search_iso "int * string -> string";;
        first_n_string : int -> string -> string
        last_n_string : int -> string -> string
        following_word : string -> int -> string
        () : unit

Enjoy!
