Module TRS

func :: String -> [Term] -> Term   

Further infos:

• solution complete, i.e., able to compute all solutions

cons :: String -> [Term] -> Term   

Further infos:

• solution complete, i.e., able to compute all solutions

varsOf :: Term -> [Int]   

Further infos:

• partially defined

fSubterms :: Term -> [(String,[Term])]   

funcsInTerm :: Term -> [String]   

showBasicTerm :: Bool -> Term -> String   

Further infos:

• partially defined

showLetExp :: [Term] -> String   

showLambdaExp :: [Term] -> String   

showOperator :: String -> String   

encloseInPar :: Bool -> String -> String   

showRule :: Rule -> String   

showTRS :: [Rule] -> String   

allFunctions :: [Rule] -> [(String,Int)]   

funcRules :: String -> [Rule] -> [([Term],Term)]   

arityOf :: String -> [Rule] -> Int   

containsChoice :: Rule -> Bool   

addChoiceRules :: [Rule] -> [Rule]   

containsApply :: Rule -> Bool   

addApplyRules :: [Rule] -> [Rule]