definition module EdSearchMenu;

/*	The commands of the Search menu */

import EdProgramState;

Find :: !ProgState !IO -> ProgIO;

FindNext :: !Bool !ProgState !IO -> ProgIO;

FindSelection :: !Bool !ProgState !IO -> ProgIO;

FindError :: !Bool !ProgState !IO -> ProgIO;

FindIdentifier :: !ProgState !IO -> ProgIO;

FindDefOrImp :: !Bool !ProgState !IO -> ProgIO;

ReplaceAndFind :: !Bool !ProgState !IO -> ProgIO;

GotoLine :: !ProgState !IO -> ProgIO;

GotoCursor :: !ProgState !IO -> ProgIO;