1 _interface_ CoreUnfold 1
3 CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding;
6 1 data UnfoldingGuidance;
7 1 mkUnfolding _:_ CoreSyn.CoreExpr -> Unfolding ;;
8 1 noUnfolding _:_ Unfolding ;;
9 1 hasUnfolding _:_ Unfolding -> PrelBase.Bool ;;