Signature (.sig)

sig spec.
                  %% Signature here

Module (.mod)

module spec.
                  %% Module here

Use Ctrl-Return (mac: Cmd-Return) to process up to cursor.

%% Reasoning file here