interface Core2Def where
import BinderInfo(BinderInfo)
import CmdLineOpts(GlobalSwitch, SwitchResult)
import CoreSyn(CoreBinding, CoreExpr)
import DefSyn(DefBindee, DefProgram(..))
interface Core2Def where
import BinderInfo(BinderInfo)
import CmdLineOpts(GlobalSwitch, SwitchResult)
import CoreSyn(CoreBinding, CoreExpr)
import DefSyn(DefBindee, DefProgram(..))