[−][src]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>`

Loading content...

Required methods

`fn no_proof(self) -> Self::WithoutProof`

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

Loading content...

Implementors

`impl<'id, P> Provable for Index<'id, P>`[src]

`type Proof = P`

`type WithoutProof = Index<'id, Unknown>`

`fn no_proof(self) -> Self::WithoutProof`[src]

`impl<'id, P> Provable for Range<'id, P>`[src]

`type Proof = P`

`type WithoutProof = Range<'id, Unknown>`

`fn no_proof(self) -> Self::WithoutProof`[src]

Loading content...