Linearity analysis: check whether functions are defined by right-linear rules.
Author: Michael Hanus
Version: November 2020
analyseRightLinearity
:: [FuncDecl] -> [((String,String),Bool)]
|
hasRightLinearRules
:: FuncDecl -> Bool
|
linearExpr
:: Expr -> Bool
|
|
|
|