PAKCS
Exported names: Imported modules:

Module Synthesize

Summary of exported operations:

synthesize :: String -> [(String,String)] -> IO ()   
test :: IO ()   

Exported operations:

synthesize :: String -> [(String,String)] -> IO ()   

test :: IO ()