Struct smt2::syntax::response::Declaration

pub struct Declaration {
    pub id: Located<Symbol>,
    pub args: Vec<Located<SortedVar>>,
    pub return_sort: Located<Sort>,
}

Function declaration. <function_dec> ::= ( ( <sorted_var>* ) )

Fields

id: Located<Symbol>

args: Vec<Located<SortedVar>>

return_sort: Located<Sort>

Trait Implementations

impl Display for Declaration

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

impl Parsable for Declaration

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

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