Agda.Termination.TermCheck

termDecl

termMutual

type Result

type DeBruijnPat