CurryInfo: call-analysis-3.2.0 / TRS: all operations

addApplyRules addChoiceRules allFunctions arityOf cons containsApply containsChoice encloseInPar fSubterms func funcRules funcsInTerm showBasicTerm showLambdaExp showLetExp showOperator showRule showTRS varsOf