Function xrust::evaluate::static_analysis

pub fn static_analysis<'a>(
    e: &mut Vec<Constructor<'a>>, 
    sc: &'a StaticContext<'a>
)

Perform static analysis of a sequence constructor.

This checks that functions and variables are declared. It also rewrites the constructors to provide the implementation of functions that are used in expressions.