Module Core_kernel__.Binary_searchable_intf
module type S1_permissions = sig ... endmodule type Binary_searchable = sig ... endCore_kernel__.Binary_searchable_intfmodule type S1_permissions = sig ... endmodule type Binary_searchable = sig ... end