Agda.Termination.TermCheck
termDecl
type
Result
data
DeBruijnPat