Core_kernel.Bounded_index
module type S = Core_kernel__Bounded_index_intf.S
module Make : functor (M : sig ... end) -> S