6 lines
60 B
Coq
6 lines
60 B
Coq
|
fn main() {
|
||
|
|
mut x := 56
|
||
|
|
x = ~x + 1
|
||
|
|
println(x)
|
||
|
|
}
|