structure Feedback
SYNOPSIS
Module for messages, warnings, errors, and tracing of HOL functions.
DESCRIPTION
The
Feedback
structure provides facilities for raising and viewing HOL errors, and also for monitoring tools as they run.
HOL
Kananaskis-14