definition module EdOptionsMenu1;

/*	The commands of the Options menu */

import EdProgramState;

CCompiler :: !ProgState !IO -> ProgIO;

CodeGenerator :: !ProgState !IO -> ProgIO;

ApplicationOptions	:: !ProgState !IO -> ProgIO;

Application	:: !ProgState !IO -> ProgIO;

