aed2-tp1/pokemon.tex

\subsection{Pokemon}
\nuevoTAD{Pokemon}
\genero{pokemon}
\begin{seccion}[observadores]
    \funcion{tipo}{pokemon}{string}
    \restriccion{oaeu}
    \funcion{id}{pokemon}{nat}
\end{seccion}
\begin{seccion}[otras operaciones]
\end{seccion}