[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / ShouldSucceed.hi

interface  ShouldSucceed  where {
{- TCE -}
{- CE -}
{- LVE -}
a :: Num t64 => t64 -> t64
{- GIEinst -}
}