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