%\index{struttura dati del kernel!{#1}@{{\tt {#1}}}!definizione di}\texttt{#1}%
%\index{#1@{{\tt {#1}} (struttura dati)}!definizione di}\texttt{#1}%
} % struttura dati
-\newcommand{\type}[1]{%
+\newcommand{\typed}[1]{%
\index{tipo di dato!{#1}@{{\tt {#1}}}}\texttt{#1}%
%\index{#1@{{\tt {#1}} (tipo)}}\texttt{#1}%
} % system type
+\newcommand{\type}[1]{%
+\texttt{#1}%
+%\index{tipo di dato!{#1}@{{\tt {#1}}}}\texttt{#1}%
+%\index{#1@{{\tt {#1}} (tipo)}}\texttt{#1}%
+} % system type
\newcommand{\struct}[1]{%
\texttt{#1}%
%\index{struttura dati!{#1}@{{\tt {#1}}}}\texttt{#1}%