Two simple declarations:
and, after compilation with ocamlc -i example.ml, their types:
Then, building on these definitions:
What about compiler error messages?:
They are also detected:
We can continue on from earlier examples:
This document was translated from LATEX by HEVEA.