(
module
Binary_searchable
)