Skip to main content

resolve_names

Function resolve_names 

Source
pub fn resolve_names<'t>(
    ns: &Namespaces,
    known: &dyn Fn(&str) -> bool,
    locals: &mut Vec<String>,
    term: &'t Term,
) -> Result<Cow<'t, Term>, ParseError>
Expand description

resolve_names_in against an environment that is only its declared keys — known — and shadows nothing.