typenum
type Negate<A> = A::Output;
Alias for the associated type of Neg: Negate<A> = <A as Neg>::Output
Neg
Negate<A> = <A as Neg>::Output