Safe Haskell | Safe-Infered |
---|
- termDecls :: [Declaration] -> TCM Result
- type Result = [TerminationError]
- data DeBruijnPat
Documentation
termDecls :: [Declaration] -> TCM ResultSource
Termination check a sequence of declarations.
type Result = [TerminationError]Source
The result of termination checking a module.