Enum smt2parser::concrete::Sort [−][src]
pub enum Sort { Simple { identifier: Identifier, }, Parameterized { identifier: Identifier, parameters: Vec<Sort>, }, }
Expand description
Concrete syntax for a sort.
Variants
Show fields
Fields of Simple
identifier: Identifier
Show fields
Fields of Parameterized
identifier: Identifier
parameters: Vec<Sort>
Implementations
pub fn accept<V, T, S>(self, visitor: &mut V) -> T where
V: SortVisitor<S, T = T> + SymbolVisitor<T = S>,
[src]
pub fn accept<V, T, S>(self, visitor: &mut V) -> T where
V: SortVisitor<S, T = T> + SymbolVisitor<T = S>,
[src]Visit a concrete sort.
Trait Implementations
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
__D: Deserializer<'de>,
[src]Deserialize this value from the given Serde deserializer. Read more
type T = QualIdentifier
fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T
[src]fn visit_attributes(
&mut self,
term: Self::T,
attributes: Vec<(Keyword, AttributeValue)>
) -> Self::T
[src]Auto Trait Implementations
impl RefUnwindSafe for Sort
impl UnwindSafe for Sort
Blanket Implementations
Mutably borrows from an owned value. Read more