Struct smtlib_lowlevel::ast::FunctionDef
source · pub struct FunctionDef(pub Symbol, pub Vec<SortedVar>, pub Sort, pub Term);
Expand description
<symbol> (<sorted_var>*) <sort> <term>
Tuple Fields§
§0: Symbol
§1: Vec<SortedVar>
§2: Sort
§3: Term
Implementations§
Trait Implementations§
source§impl Clone for FunctionDef
impl Clone for FunctionDef
source§fn clone(&self) -> FunctionDef
fn clone(&self) -> FunctionDef
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 FunctionDef
impl Debug for FunctionDef
source§impl<'de> Deserialize<'de> for FunctionDef
impl<'de> Deserialize<'de> for FunctionDef
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 Display for FunctionDef
impl Display for FunctionDef
source§impl Hash for FunctionDef
impl Hash for FunctionDef
source§impl PartialEq for FunctionDef
impl PartialEq for FunctionDef
source§fn eq(&self, other: &FunctionDef) -> bool
fn eq(&self, other: &FunctionDef) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Serialize for FunctionDef
impl Serialize for FunctionDef
impl Eq for FunctionDef
impl StructuralPartialEq for FunctionDef
Auto Trait Implementations§
impl Freeze for FunctionDef
impl RefUnwindSafe for FunctionDef
impl Send for FunctionDef
impl Sync for FunctionDef
impl Unpin for FunctionDef
impl UnwindSafe for FunctionDef
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