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