1 __interface CoreUnfold 1 0 where
2 __export CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding isEvaldUnfolding;
4 1 data UnfoldingGuidance;
5 1 mkUnfolding :: CoreSyn.CoreExpr -> Unfolding ;
6 1 noUnfolding :: Unfolding ;
7 1 hasUnfolding :: Unfolding -> PrelBase.Bool ;
8 1 isEvaldUnfolding :: Unfolding -> PrelBase.Bool ;