idris
IRTS.CodegenC
codegenC :: [(Name, SDecl)] -> String -> OutputType -> [FilePath] -> String -> String -> String -> DbgLevel -> IO ()Source