/// 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: ScopeRef,
    ) -> Result<Spanned<Term<'t>>> {
        let defs = self.ctx.resolve_name(name, scope, false, true)?;
        self.termify_defs(name, defs)
    }
fn termify_name_in_scope ( & self , name : Spanned < ResolvableName > , scope : ScopeRef , ) -> Result < Spanned < Term < ' t > > > { let defs = self . ctx . resolve_name ( name , scope , false , true ) ? ; 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
ScopeRef