4 <:ImplementProfiling:> is a pass for the <:RSSA:>
5 <:IntermediateLanguage:>, invoked from <:RSSASimplify:>.
9 This pass implements profiling.
13 * <!ViewGitFile(mlton,master,mlton/backend/implement-profiling.fun)>
15 == Details and Notes ==
17 See <:HowProfilingWorks:>.