5.13 $QUIT

If the current execution context was invoked as an extrinsic function, $QUIT returns 1. Otherwise, returns 0.

When $QUIT returns 1, a subsequent QUIT command must have an argument.

This document was generated on September 20, 2023 using texi2html 5.0.