definition module typeatt from IdeState import ::GeneralSt update_type_window :: !Bool !String ![String] !*GeneralSt -> *GeneralSt