extras/doc/checked_adder.tex

\input{header}
\begin{tikzpicture}[scale=1, transform shape]

\newcomponent{2}{0}{CheckedAdderComponent}
\umlprovidedinterface[interface=Adder, distance=4, padding=0.5cm]{CheckedAdderComponent}

\end{tikzpicture}
\input{footer}