pub enum DiscoveryClassification {
Example,
Counterexample,
}
Expand description
The classification of a property discovery.
Variants§
Trait Implementations§
Auto Trait Implementations§
impl RefUnwindSafe for DiscoveryClassification
impl Send for DiscoveryClassification
impl Sync for DiscoveryClassification
impl Unpin for DiscoveryClassification
impl UnwindSafe for DiscoveryClassification
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more