PAKCS
Exported names: Imported modules:

Module ReadFlatTRS

Summary of exported operations:

readRules :: String -> IO [Rule]   
readRulesAndData :: String -> IO ([Rule],[TypeDecl])   
readFlatCurryRules :: String -> IO (Prog,[Rule])   

Exported operations:

readRules :: String -> IO [Rule]   

readRulesAndData :: String -> IO ([Rule],[TypeDecl])   

readFlatCurryRules :: String -> IO (Prog,[Rule])