Feedback
structure Feedback
Module for messages, warnings, errors, and tracing of HOL functions.
The Feedback structure provides facilities for raising and viewing
HOL errors, and also for monitoring tools as they run.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
Feedback structure Feedback
Module for messages, warnings, errors, and tracing of HOL functions.
The Feedback structure provides facilities for raising and viewing
HOL errors, and also for monitoring tools as they run.