definition module tools

// launch supporting tools

import IdeState

shoprofun :: !*(PSt General) -> *PSt General
// launch time profiler for active project

shoheapfun :: !*(PSt General) -> *PSt General
// launch heap profiler for active project

provefun :: !*(PSt General) -> *PSt General
// launch theorem prover for active project
