Type Definition type_vec::size::CheckIndexOp

type CheckIndexOp<__TYP_ARG_0, __TYP_ARG_1> = <() as CheckIndex<__TYP_ARG_0, __TYP_ARG_1>>::Output;