prolog-insert-module-modeline
prolog-insert-module-modeline is an interactive compiled Lisp function in `prolog.el
'.
(prolog-insert-module-modeline)
Insert a modeline for module specification.
This line should be first in the buffer.
The module name should be written manually just before the semi-colon.