Go to the first, previous, next, last section, table of contents.
<*UNUSED*>
The pragma <*UNUSED*> may precede any declaration. It asserts that the
entity in the following declaration is not used and no warnings should
be generated.
For example, the procedures that implement the default methods for an
object may not need all of the actual parameters:
PROCEDURE DefaultClose (<*UNUSED*> wr: Wr.T) =
BEGIN (* do nothing *) END DefaultClose;
Go to the first, previous, next, last section, table of contents.