\begin{describe*}
{\dhead{gf}{module-name @<module> @> @<pathname>}
\dhead{gf}{module-pset @<module> @> @<pset>}
+ \dhead{gf}{module-errors @<module> @> @<integer>}
\dhead{gf}{module-items @<module> @> @<list>}
\dhead{gf}{module-dependencies @<module> @> @<list>}
\dhead{gf}{module-state @<module> @> @<keyword>}}