Agda.Termination.Termination
terminates
terminatesFilter
tests