Module Core_kernel__.Bounded_index_intf

module type S : sig ... end
module type Bounded_index : sig ... end