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