DEFINITION MODULE Sods ; FROM List IMPORT ListP; EXPORT QUALIFIED RecursiveEdit, KillWindow, Initialise, Terminate; PROCEDURE RecursiveEdit (arg: ListP): ListP; PROCEDURE KillWindow (arg: ListP): ListP; PROCEDURE Initialise ; PROCEDURE Terminate ; END Sods.