Struct smt2::syntax::ast::SortedVar

pub struct SortedVar {
    pub id: Located<Symbol>,
    pub sort: Located<Sort>,
}

<sorted_var> ::= ( )

Fields

id: Located<Symbol>

sort: Located<Sort>

Trait Implementations

impl Clone for SortedVar

fn clone(&self) -> SortedVar

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Display for SortedVar

fn fmt(&self, f: &mut Formatter<'_, '_>) -> Result

impl Display for SortedVar

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Parsable for SortedVar

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SortedVar>> where
    L: Iterator<Item = Result<Located<Token>>>, 

Parse from a lexer. Separators are handled depending on the flavor parameter.