Trait indexing::proof::ProofAdd
[−]
[src]
pub trait ProofAdd { type Sum; }
Represents the combination of two proofs P
and Q
by a new type Sum
.