pub type CheckIndexInclusiveOp<__TYP_ARG_0, __TYP_ARG_1> = <() as CheckIndexInclusive<__TYP_ARG_0, __TYP_ARG_1>>::Output;