Type Definition RemoveImplOp
type_vec::impls
type RemoveImplOp<Input, Index> = <() as RemoveImpl<Input, Index>>::Output;