モジュール定義は記述文字列を含んでも構いません。記述文字列はそのモジュールに関するドキュメントの形でそのデータ構造の中に埋め込まれます。モジュールの記述文字列の形式は手続きの記述文字列と同じであり、そのモジュール定義本体に置かれる「宣言文」の中に記述しなければなりません。記述文字列は description というキーワードで始まり、全体としてそのモジュールを説明する1個以上の文字列が続きます。

m := module()
        export set, get;
        local val;
        description "a register data structure";
        get := () -> val;
        set := proc(v) val := v end proc;
end module;