Agda.Termination.TermCheck
termDecls
type
Result
data
DeBruijnPat