+++ /dev/null
-_interface_ CoreUnfold 1
-_exports_
-CoreUnfold Unfolding UnfoldingGuidance noUnfolding hasUnfolding isEvaldUnfolding seqUnfolding ;
-_declarations_
-1 data Unfolding;
-1 data UnfoldingGuidance;
-1 noUnfolding _:_ Unfolding ;;
-1 hasUnfolding _:_ Unfolding -> PrelBase.Bool ;;
-1 seqUnfolding _:_ Unfolding -> PrelBase.() ;;
-1 isEvaldUnfolding _:_ Unfolding -> PrelBase.Bool ;;