doc-src/AxClass/Nat/document/root.tex

tuned interfaces declare, define, finalize, merge:
canonical argument order, produce errors;
tuned checkT';

\documentclass{article}

\begin{document}
--- dummy ---
\end{document}