let search_elements_by_exact_names doc_modules s =
match Odoc_info.Search.search_by_name
!doc_modules (Str.regexp ("^"^(Str.quote s)^"$"))
with
[] ->
GToolbox.message_box Cam_messages.search_exact
(Cam_messages.nothing_found s)
| [ele] ->
display_result_element doc_modules ele
| l ->
display_result_list doc_modules l