pub fn parse_open(src: &str) -> Result<Expr, Error>Expand description
Parse Elly source into an Expr without name resolution, so free
variables are left in place (an open term). Used by tooling that wants the
raw AST and by the parse golden suite, which resolves open terms with
resolve_open (auto-binding their free names). Prefer parse for
evaluating a whole program.