Trait ProofAdd

pub trait ProofAdd {
    type Sum;
}

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

Required Associated Types

type Sum

Implementations on Foreign Types

impl<Q> ProofAdd for (NonEmpty, Q)

type Sum = NonEmpty

impl<Q> ProofAdd for (Unknown, Q)

type Sum = Q

Implementors