GET-DEFMODULE-LIST

Returns the list of all defmodules.

(get-defmodule-list)