pub fn add_label(&self, ast: &'ast Spanned<Name>) -> Result<Spanned<StmtRef>> {
        let ctx = TermContext::new(self.ctx, self.scope);
        let term = ctx.termify_name(ast.map_into())?;
        ctx.term_to_label(term)
    }
/// Add a label.
///
/// Immediately resolves the label name and returns the corresponding
/// statement.
Add a label.
Immediately resolves the label name and returns the corresponding
statement.
Add a label . Immediately resolves the label name and returns the corresponding statement .
pub fn add_label(&self, ast: &'ast Spanned<Name>) -> Result<Spanned<StmtRef>> {
        let ctx = TermContext::new(self.ctx, self.scope);
        let term = ctx.termify_name(ast.map_into())?;
        ctx.term_to_label(term)
    }
pub fn add_label ( & self , ast : & ' ast Spanned < Name > ) -> Result < Spanned < StmtRef > > { let ctx = TermContext :: new ( self . ctx , self . scope ) ; let term = ctx . termify_name ( ast . map_into ( ) ) ? ; ctx . term_to_label ( term ) }
Add a label.
Add a label .
&self
ast
&'ast Spanned<Name>
&self
ast
&'ast Spanned<Name>