module Binary_searchable: Binary_searchable
Binary_searchable
include Binary_searchable_intf.Binary_searchable