Trait syntastic::ast::Operator

pub trait Operator<S> {
    pub fn sort(&self) -> &S;
    pub fn arity(&self) -> Vec<S>;
}

Non-leaf node of an abstract syntax tree indexed by some sort, S

Required methods

pub fn sort(&self) -> &S

Sort of syntactic element

pub fn arity(&self) -> Vec<S>

Expected sorts of Ast operands

Loading content...

Implementors

Loading content...