Struct 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.