KiCS2
Exported names: Imported modules:

Module CurryBrowseAnalysis.Linearity

Summary of exported operations:

analyseRightLinearity :: [FuncDecl] -> [((String,String),Bool)]   
hasRightLinearRules :: FuncDecl -> Bool   
linearExpr :: Expr -> Bool   

Exported operations:

analyseRightLinearity :: [FuncDecl] -> [((String,String),Bool)]   

hasRightLinearRules :: FuncDecl -> Bool   

linearExpr :: Expr -> Bool