Safe Haskell | None |
---|
Documentation
getProgram :: (Int, Int) -> PrgType -> Module DebugToCSemanticInfo -> IO ()Source
icompile :: Compilable t internal => t -> IO ()Source
icompileWithInfos :: Compilable t internal => t -> String -> Options -> SplitCompToCCoreResultSource