definition module EdFileMenu;

/*	The commands of the File menu */

import EdProgramState;

New ::  !ProgState !IO -> ProgIO;
Open ::  !ProgState !IO -> ProgIO;
OpenFile :: !String !ProgState !IO -> ProgIO;
OpenDefOrImp :: !Bool !Bool !ProgState !IO -> ProgIO;
OpenOther :: !ProgState !IO -> ProgIO;
OpenModule :: !Pathname !PartTSel !ProgState !IO -> ProgIO;
Close ::  !ProgState !IO -> ProgIO;
Save ::  !ProgState !IO -> ProgIO;
SaveAs ::  !ProgState !IO -> ProgIO;
Print :: !ProgState !IO -> ProgIO;
Revert ::  !ProgState !IO -> ProgIO;
Quit ::  !ProgState !IO -> ProgIO;

