Agda.Termination.TermCheck
termDecl
termMutual
type
Result
type
DeBruijnPat