Trait IsProved 

pub trait IsProved {
    const IS_PROVED: bool;
}

Query whether a proof marker is Proved.

Required Associated Constants

const IS_PROVED: bool

Whether the property has been proven.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl IsProved for NotProved

const IS_PROVED: bool = false

impl IsProved for Proved

const IS_PROVED: bool = true