module Binary_searchable: sig .. end
sig
end
Binary_searchable_intf
include Binary_searchable_intf.Binary_searchable