Module Core_kernel__Binary_searchable

This module extends the Base.Binary_searchable module.