definition module tooltip import StdEnv, StdIO ShowToolTip :: !Id Int Int String !*(PSt .l) -> *PSt .l