No, certo, l’obiettivo non era quello di stampare il token, ma di fare una verifica che mi impostasse una variabile booleana. Grazie alle tue indicazioni sull’espansione ho risolto con `% !TEX encoding = UTF-8 Unicode
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{xparse}
\newcommand{\first}{definizione di first}
\ExplSyntaxOn
\tl_new:N \l_temp_tl
\tl_set:Nn \l_prova_tl {\first Ciao a tutti}
\cs_generate_variant:Nn \tl_if_eq:nnTF {nxTF}
\NewDocumentCommand{\prova}{}
{
\tl_if_eq:nxTF {\first}{ \tl_head:N \l_prova_tl } {Vero}{Falso}
}
\ExplSyntaxOff
\begin{document}
Il primo token della token list è \verb!\first!? \prova
\end{document}`
O c’è qualcosa di più immediato che non son riuscito a trovare?
Francesco