disco-0.1.0.0: test/repl-defn/input

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