definition module idehelp

import StdPSt, StdId

initHelpMenu :: !Id !*(PSt .l) -> *PSt .l