Agda.Termination.TermCheck
termDecl
type
Result
type
DeBruijnPat