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