odoc_search (odoc.odoc