Agda.Termination.TermCheck

termDecl

type Result

data DeBruijnPat