Agda.Termination.TermCheck

termDecl

type Result

type DeBruijnPat