Agda.Termination.Termination

terminates

tests