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