x : N
x = 5
x
:type x
x == 5
x = 6
x