doc-src/Functions/conclusion.tex

explicitly export type abbreviations (as usual in SML97);
explicit type constraints for record patterns -- SML does not support record polymorphism;
observe max. line length (80-100);

\section{Conclusion}

\fixme{}