		Search-engine friendly clone of the ACL2 documentation.

History

Ep

Return the sorted list of event names matching a given prefix

Example:

ACL2 !>:ep with-output ; or, (ep 'with-output); see @(see keyword-commands)
(WITH-OUTPUT WITH-OUTPUT-FN
             WITH-OUTPUT-FORCED WITH-OUTPUT-LOCK
             WITH-OUTPUT-OBJECT-CHANNEL-SHARING)
ACL2 !>

The value returned by (:ep NAME) is the list of all event names E for which "NAME" is a prefix of the symbol-name of E, where this notion of ``prefix'' is case-insensitive.

Also see ep- for a similar utility that omits names of built-in events.