definition module IDE

import	StdPSt
from	PmTypes		import :: Modulename
from	EdClient	import :: Selection, :: Position, :: ColumnNr, :: LineNr
from	IdeState	import :: General

OpenModule :: !.Modulename !.Selection !*(PSt General) -> *PSt General