This module extends Base.Binary_searchable.
module type S1_permissions : sig ... end
module type Binary_searchable : sig ... end