_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 ;;