pub enum ModelGen {
Disabled,
Asserted,
All,
}
Variants
Disabled
Do not generate models
Asserted
Generate models for asserted expressions only
All
Generate models for all expressions
Auto Trait Implementations
impl RefUnwindSafe for ModelGen
impl Send for ModelGen
impl Sync for ModelGen
impl Unpin for ModelGen
impl UnwindSafe for ModelGen
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more