_interface_ CoreUnfold 1
_exports_
CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding;
_declarations_
1 data Unfolding;
1 data UnfoldingGuidance;
1 mkUnfolding _:_ CoreSyn.CoreExpr -> CoreUnfold.Unfolding ;;
1 noUnfolding _:_ CoreUnfold.Unfolding ;;