(module Binary_searchable)