LIST-DEFMODULES

Displays the list of all defmodules.

(list-defmodules)