Trait indexing::proof::Provable

pub trait Provable {
    type Proof;
    type WithoutProof: Provable<Proof = Unknown>;
    fn no_proof(self) -> Self::WithoutProof;
}

Associated Types

type Proof

type WithoutProof: Provable<Proof = Unknown>

Required Methods

fn no_proof(self) -> Self::WithoutProof

Return a copy of self with the proof parameter set to Unknown.

Implementors

• impl<'id, P> Provable for Index<'id, P> type Proof = P; type WithoutProof = Index<'id, Unknown>;
• impl<'id, P> Provable for Range<'id, P> type Proof = P; type WithoutProof = Range<'id, Unknown>;
• impl<'id, T, P> Provable for PIndex<'id, T, P> type Proof = P; type WithoutProof = PIndex<'id, T, Unknown>;
• impl<'id, T, P> Provable for PRange<'id, T, P> type Proof = P; type WithoutProof = PRange<'id, T, Unknown>;
• impl<'id, T, P> Provable for PSlice<'id, T, P> type Proof = P; type WithoutProof = PSlice<'id, T, Unknown>;