> def2core, d2c,
>
> -- and to make the interface self-sufficient, all this stuff:
-> DefBinding(..), UniqSM(..),
+> DefBinding(..), SYN_IE(UniqSM),
> GenCoreBinding, Id, DefBindee,
> defPanic
> ) where
> import DefSyn
> import DefUtils
>
-> import Maybes ( Maybe(..) )
> import Outputable
> import Pretty
> import UniqSupply