1 _interface_ CoreUnfold 1
3 CoreUnfold Unfolding UnfoldingGuidance noUnfolding hasUnfolding isEvaldUnfolding seqUnfolding ;
6 1 data UnfoldingGuidance;
7 1 noUnfolding _:_ Unfolding ;;
8 1 hasUnfolding _:_ Unfolding -> PrelBase.Bool ;;
9 1 seqUnfolding _:_ Unfolding -> PrelBase.() ;;
10 1 isEvaldUnfolding _:_ Unfolding -> PrelBase.Bool ;;