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