Struct smtlib_lowlevel::ast::SortDec
source · pub struct SortDec(pub Symbol, pub Numeral);
Expand description
(<symbol> <numeral>)
Tuple Fields§
§0: Symbol
§1: Numeral
Implementations§
Trait Implementations§
source§impl<'de> Deserialize<'de> for SortDec
impl<'de> Deserialize<'de> for SortDec
source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
source§impl PartialEq for SortDec
impl PartialEq for SortDec
impl Eq for SortDec
impl StructuralPartialEq for SortDec
Auto Trait Implementations§
impl Freeze for SortDec
impl RefUnwindSafe for SortDec
impl Send for SortDec
impl Sync for SortDec
impl Unpin for SortDec
impl UnwindSafe for SortDec
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> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more