ajhc-0.8.0.7: Haskell compiler that produce binary through C language
FrontEnd.Tc.Module
tiModules :: HoTcInfo -> [ModInfo] -> IO (HoTcInfo, TiData)Source
data TiData Source
Constructors
Fields