Trait indexing::proof::Provable
[−]
[src]
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>;