Safe Haskell | None |
---|
- termDecl :: Declaration -> TCM Result
- type Result = [TerminationError]
- type DeBruijnPat = DeBruijnPat' Int
Documentation
termDecl :: Declaration -> TCM ResultSource
Termination check a single declaration.
type Result = [TerminationError]Source
type DeBruijnPat = DeBruijnPat' IntSource
Patterns with variables as de Bruijn indices.