Enum smt2parser::concrete::Sort [−][src]
pub enum Sort<Identifier = Identifier> {
Simple {
identifier: Identifier,
},
Parameterized {
identifier: Identifier,
parameters: Vec<Self>,
},
}
Expand description
Concrete syntax for a sort.
Variants
Fields of Parameterized
identifier: Identifier
parameters: Vec<Self>
Implementations
pub fn accept<V, T, S, E>(self, visitor: &mut V) -> Result<T, E> where
V: SortVisitor<S, T = T, E = E> + SymbolVisitor<T = S, E = E>,
pub fn accept<V, T, S, E>(self, visitor: &mut V) -> Result<T, E> where
V: SortVisitor<S, T = T, E = E> + SymbolVisitor<T = S, E = E>,
Visit a concrete sort.
Trait Implementations
impl<'de, Identifier> Deserialize<'de> for Sort<Identifier> where
Identifier: Deserialize<'de>,
impl<'de, Identifier> Deserialize<'de> for Sort<Identifier> where
Identifier: Deserialize<'de>,
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
Auto Trait Implementations
impl<Identifier> RefUnwindSafe for Sort<Identifier> where
Identifier: RefUnwindSafe,
impl<Identifier> UnwindSafe for Sort<Identifier> where
Identifier: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more