Exported names:
- Operations:
- compactProgAndReplace
- main
Imported modules:

Module Main

A tool to reduce the size of FlatCurry programs by replacing the main FlatCurry file by a single FlatCurry file containing no imports but all imported and potentially called functions.

Author: Michael Hanus

Version: September 2021

Summary of exported operations:

main
                  ::  IO ()

compactProgAndReplace
                  ::  [Option] -> String -> IO ()

Exported operations:

main :: IO ()

compactProgAndReplace :: [Option] -> String -> IO ()

Exported names:

Imported modules:

Summary of exported operations:

Exported operations: