IncludeStdbool is the include directive that the litmus patcher will insert if needed.

ErrNoDirOut occurs when the output directory is empty.

ErrNoFileIn occurs when the input file is empty.

Fixset contains the various fix-ups that the litmus tool needs to do before and after the run to Litmus.

Instance holds all state needed to do one run of Litmus.

Litmus describes the parts of a backend invocation that are specific to Litmus.

Pathset contains the paths used in a litmus invocation.