Package cass-analysis

Modules:

Analysis.Demandedness Analysis.Deterministic Analysis.Files Analysis.Groundness Analysis.HigherOrder Analysis.Indeterministic Analysis.Logging Analysis.ProgInfo Analysis.RequiredValue Analysis.RequiredValues Analysis.Residuation Analysis.RightLinearity Analysis.RootReplaced Analysis.SensibleTypes Analysis.SolutionCompleteness Analysis.Termination Analysis.TotallyDefined Analysis.Types Analysis.TypeUsage Analysis.UnsafeModule

Explanations of the icons used in the documentation:

Deterministic   Operation is deterministic, i.e., defined by exclusive rules and depend only on deterministic operations
Non-deterministic   Operation might be non-deterministic, i.e., it is defined by overlapping rules or depend on non-deterministic operations