Module Core_kernel.Binary_searchable

This module extends the Base.Binary_searchable module.