- termDecls :: [Declaration] -> TCM Result
- type Result = [([QName], [Range])]
- data DeBruijnPat
Documentation
termDecls :: [Declaration] -> TCM ResultSource
Termination check a sequence of declarations.
termDecls :: [Declaration] -> TCM ResultSource
Termination check a sequence of declarations.