Trait Neg
tylar
pub trait Neg: NumType { type Out: NumType; }
Negation of number types.
type Out: NumType
Result of the operation, i.e. Out = –Self.
Out
Self
impl Neg for Zero
impl<A: PosType, B: NegType> Neg for Succ<A> where A: Neg<Out = B>,
impl<A: NegType, B: PosType> Neg for Pred<A> where A: Neg<Out = B>,