Agda.Termination.TermCheck

termDecls

type Result

data DeBruijnPat