Trait indexing::proof::ProofAdd

pub trait ProofAdd {
type Sum;
}

Represents the combination of two proofs P and Q by a new type Sum.

Associated Types

type Sum

Loading content...

Implementations on Foreign Types

impl<Q> ProofAdd for (NonEmpty, Q)

type Sum = NonEmpty

impl<Q> ProofAdd for (Unknown, Q)

type Sum = Q

Loading content...

Implementors

Loading content...