4 ms·
x = readFromStdin y = readFromStdin if(x < y) { // in this scope, you have proven x < y } else { // in this scope, you have proven x >= y }
by continuational 10y ago
x = readFromStdin
y = readFromStdin
if(x < y) {
// in this scope, you have proven x < y
} else {
// in this scope, you have proven x >= y
}