Skip to content
Snippets Groups Projects
Epsilon1.scala 126 B
import leon.Utils._

object Epsilon1 {

  def greater(x: Int): Int = {
    epsilon((y: Int) => y > x)
  } ensuring(_ >= x)

}