Add General.exnMessage to CakeML #1231
Description
This will probably be done by setting up the extensible pretty printer for exceptions and then exporting it.
{{ message }}
This will probably be done by setting up the extensible pretty printer for exceptions and then exporting it.