pub trait NegMod { type Output; fn neg_mod(&self, p: &Self) -> Self::Output; }
Compute -self mod p.
-self mod p
Output type.