Type Definition PushImplOp
type_vec::impls
type PushImplOp<Input, Item> = <() as PushImpl<Input, Item>>::Output;