pub fn resolve_open(expr: &mut Expr) -> Result<(), ParseError>Expand description
Resolve an open term: free names are auto-bound below the whole scope.
pub fn resolve_open(expr: &mut Expr) -> Result<(), ParseError>Resolve an open term: free names are auto-bound below the whole scope.