-
Régis Blanc authoredRégis Blanc authored
Epsilon1.scala 126 B
import leon.Utils._
object Epsilon1 {
def greater(x: Int): Int = {
epsilon((y: Int) => y > x)
} ensuring(_ >= x)
}
import leon.Utils._
object Epsilon1 {
def greater(x: Int): Int = {
epsilon((y: Int) => y > x)
} ensuring(_ >= x)
}