The following commands manipulate defmodules.
GET-CURRENT-MODULE
LIST-DEFMODULES
PPDEFMODULE
SET-CURRENT-MODULE