Type Definition GetImplOp
type_vec::impls
type GetImplOp<'a, Input, Index> = <() as GetImpl<'a, Input, Index>>::Output;