To enter a query into our search engine, just type a few descriptive words and hit the 'enter' key. By default, queries concern the entire Caml Web site (caml.inria.fr/), but the menu allows you to easily restrict your search to a specific subset of the site, such as:
- The Caml Hump,
- Mailing list archives,
- The online documentation,
- The Objective Caml standard library.
Boolean Operators
You can use the boolean operators and, or, or not in queries. Without these boolean operators, the search engine will assume you're anding the words together. The operators are case insensitive. Evaluation takes place from left to right only, although you can use parentheses to force the order of evaluation. For instance
(word1 or word2) and not word3
retrieves entries containing either “word1” and not “word3” or “word2” and not “word3”.
Truncation
A wildcard (*) is available. However, it can only be used at the end of a word. For instance, the query
doc
only retrieves the entries which contain “doc”. On the other hand
doc*
retrieves all entries containing a word beginning with “doc”, e.g. “documentation”.
Fields
It is possible to form precise queries by using fields of entries: to limit a search to words found in a specific field, just prefix the keywords with the name of the field, followed by the equal sign. For instance,
author=leroy or weis
retries all entries whose field author contains “leroy” or “weis”. Such queries can be combined using the boolean operators:
(author=leroy or weis) and caml
The set of available fields depends on the corpus that is being explored:
| The Caml Hump | author | Author(s) of the contribution |
|---|---|---|
| topic | Topic(s) of the contribution | |
| license | License(s) of the contribution | |
| kind | Kind(s) of the contribution | |
| status | Development status of the contribution | |
| Mailing-lists archives | author | Author(s) of the message |
| subject | Subject of the message | |
| The OCaml Library | ident | Short identifier of the element |
| longident | Qualified identifier of the element | |
| kind | Kind of the element (value, exception, type, module or class) | |
| type | Type (for values only) |