Agda.Termination.CutOff
data
CutOff