Struct boolector_sys::BoolectorAnonymous
source · #[repr(C)]pub struct BoolectorAnonymous { /* private fields */ }
Trait Implementations§
source§impl Clone for BoolectorAnonymous
impl Clone for BoolectorAnonymous
source§fn clone(&self) -> BoolectorAnonymous
fn clone(&self) -> BoolectorAnonymous
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for BoolectorAnonymous
impl Debug for BoolectorAnonymous
impl Copy for BoolectorAnonymous
Auto Trait Implementations§
impl RefUnwindSafe for BoolectorAnonymous
impl Send for BoolectorAnonymous
impl Sync for BoolectorAnonymous
impl Unpin for BoolectorAnonymous
impl UnwindSafe for BoolectorAnonymous
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