Struct SortDeclaration 

pub struct SortDeclaration {
    pub id: Located<Symbol>,
    pub arity: Located<i64>,
}

<sort_dec> ::= ( )

Fields

id: Located<Symbol>

arity: Located<i64>

Trait Implementations

impl Clone for SortDeclaration

fn clone(&self) -> SortDeclaration

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Display for SortDeclaration

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

Formats the value using the given formatter.

impl Parsable for SortDeclaration

fn parse<L>(lexer: &mut Peekable<L>) -> Result<Located<SortDeclaration>>

where L: Iterator<Item = Result<Located<Token>>>,

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