Type Definition verified::Negate

type Negate<A> = <A as Neg>::Output;

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