Module Core_kernel__.Binary_searchable_intf

This module extends the Base Binary_searchable_intf module

module type S1_permissions : sig ... end
module type Binary_searchable : sig ... end