Trait checkito::prove::Prove

pub trait Prove: 'static {
    // Required methods
    fn prove(&self) -> bool;
    fn is(&self, other: &dyn Any) -> bool;
}

Required Methods

fn prove(&self) -> bool

fn is(&self, other: &dyn Any) -> bool

Implementations on Foreign Types

impl Prove for bool

fn prove(&self) -> bool

fn is(&self, other: &dyn Any) -> bool

impl<T: 'static, E: 'static> Prove for Result<T, E>

fn prove(&self) -> bool

fn is(&self, other: &dyn Any) -> bool

Implementors