blob: aa8db9813df51a25e0e65340daf8cd743a1bc629 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
\begin{diagram}{Specialized type}{specializedtype}
\begin{mysyntdiag}
\synt{specialized\ type} \lit*{specialize}
\synt{identifier} \verb+ < + \synt{type\ identifier\ list} \verb+ > +
\end{mysyntdiag}
\begin{mysyntdiag}
\synt{type\ identifier\ list}
\begin{rep}[b]
\synt{identifier}\\
\lit* ,
\end{rep}
\end{mysyntdiag}
\end{diagram}
|
