indexing
pub trait ProofAdd { type Sum; }
Represents the combination of two proofs P and Q by a new type Sum.
P
Q
Sum
type Sum
impl<Q> ProofAdd for (NonEmpty, Q)
impl<Q> ProofAdd for (Unknown, Q)