pub enum VDMHeader {
Structured(VDMHeaderStructured),
Unstructured(VDMHeaderUnstructured),
}
Variants§
Structured(VDMHeaderStructured)
Unstructured(VDMHeaderUnstructured)
Implementations§
Trait Implementations§
impl Copy for VDMHeader
Auto Trait Implementations§
impl Freeze for VDMHeader
impl RefUnwindSafe for VDMHeader
impl Send for VDMHeader
impl Sync for VDMHeader
impl Unpin for VDMHeader
impl UnwindSafe for VDMHeader
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
source§impl<T, U> UnsafeFrom<U> for Twhere
U: Into<T>,
impl<T, U> UnsafeFrom<U> for Twhere
U: Into<T>,
source§unsafe fn unsafe_from(other: U) -> T
unsafe fn unsafe_from(other: U) -> T
Calls U::into(other)
.
That is, this conversion is whatever the implementation of Into
<T> for U
chooses to
do.
source§impl<T, U> UnsafeInto<U> for Twhere
U: UnsafeFrom<T>,
impl<T, U> UnsafeInto<U> for Twhere
U: UnsafeFrom<T>,
source§unsafe fn unsafe_into(self) -> U
unsafe fn unsafe_into(self) -> U
Calls U::unsafe_from(self)
.
That is, this conversion is whatever the implementation of UnsafeFrom
<T> for U
chooses to do.