6 lines
86 B
Coq
6 lines
86 B
Coq
|
mut a := 0
|
||
|
|
mut b := 1
|
||
|
|
println('$a, $b') // 0, 1
|
||
|
|
a, b = b, a
|
||
|
|
println('$a, $b') // 1, 0
|