1 _interface_ CoreUnfold 1
3 CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding;
6 1 data UnfoldingGuidance;
7 1 mkUnfolding _:_ PragmaInfo.PragmaInfo -> CoreSyn.CoreExpr -> CoreUnfold.Unfolding ;;
8 1 noUnfolding _:_ CoreUnfold.Unfolding ;;