CoreUnfold (OccurAnal.occurAnalyseGlobalExpr)
<p><li>
Subst (CoreUnfold.Unfolding, CoreFVs) <br>
- Generics (CoreUnfold.mkTopUnfolding)
-<p><li>
+ Generics (CoreUnfold.mkTopUnfolding) <br>
Rules (CoreUnfold.Unfolding, PprCore.pprTidyIdRules)
<p><li>
MkId (CoreUnfold.mkUnfolding, Subst, Rules.addRule)