/// Map a resolvable name to a term, resolving it within a scope.
Map a resolvable name to a term, resolving it within a scope.
Map a resolvable name to a term resolving it within a scope .
fn termify_name_in_scope(
        &self,
        name: Spanned<ResolvableName>,
        scope: &'t ScopeData<'t>,
    ) -> Result<Spanned<Term<'t>>> {
        let defs = scope.resolve(name.value, false);
        self.termify_defs(name, defs)
    }
fn termify_name_in_scope ( & self , name : Spanned < ResolvableName > , scope : & ' t ScopeData < ' t > , ) -> Result < Spanned < Term < ' t > > > { let defs = scope . resolve ( name . value , false ) ; self . termify_defs ( name , defs ) }
Map a resolvable name to a term, resolving it within a scope.
Map a resolvable name to a term resolving it within a scope .
&self
name
Spanned<ResolvableName>
scope
&'t ScopeData<'t>