/// Map a latent name to a term.
Map a latent name to a term.
Map a latent name to a term .
pub fn termify_latent_name(&self, name: LatentName<'ast>) -> Result<Spanned<Term>> {
        match name {
            LatentName::Simple(n) => self.termify_name(n.map_into()),
            LatentName::Primary(n) => {
                self.termify_name(ResolvableName::from_primary_name(n, self.ctx)?)
            }
            LatentName::Compound(n) => self.termify_compound_name(n),
        }
    }
pub fn termify_latent_name ( & self , name : LatentName < ' ast > ) -> Result < Spanned < Term > > { match name { LatentName :: Simple ( n ) => self . termify_name ( n . map_into ( ) ) , LatentName :: Primary ( n ) => { self . termify_name ( ResolvableName :: from_primary_name ( n , self . ctx ) ? ) } LatentName :: Compound ( n ) => self . termify_compound_name ( n ) , } }
Map a latent name to a term.
Map a latent name to a term .
&self
name
LatentName<'ast>