Module ReadFlatTRS

Summary of exported operations:

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

Exported operations:

readRules :: String -> IO [Rule]  Non-deterministic 

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

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