Trait IsOver

pub trait IsOver<T> {
    // Required methods
    fn describe<'d>(
        &self,
        doc: &'d BoxAllocator,
    ) -> DocBuilder<'d, BoxAllocator>;
    fn falsify_over<'d>(
        &self,
        t: &T,
        doc: &'d BoxAllocator,
    ) -> Option<DocBuilder<'d, BoxAllocator>>;
}

Trait representation of OverPred where U is existential

Required Methods

fn describe<'d>(&self, doc: &'d BoxAllocator) -> DocBuilder<'d, BoxAllocator>

fn falsify_over<'d>( &self, t: &T, doc: &'d BoxAllocator, ) -> Option<DocBuilder<'d, BoxAllocator>>

Implementors