REDUCE mode can provide information about the procedure that point is
currently in, and easy access via the Imenu facility to all the
procedure definitions and the operator and variable declarations
within the current file. Whilst Imenu provides a convenient
way to find a procedure or operator definition rapidly in the current
file, the standard Emacs “tag” facility is the best way to find a
procedure or operator definition rapidly in another file.