Infinity package:Agda

If we have an edge X + n <= X (with n >= 0), we must set X = oo.