pub fn resolve(expr: &mut Expr) -> Result<(), ParseError>Expand description
Resolve a whole program against an empty scope: every free name is rejected
with ParseError::UnboundName. This is what elly::parse runs, so an
unbound reference is a parse-time error. Rewrites expr in place (names →
de Bruijn locals).