disco-0.1.0.0: test/repl-defns/input

x : N
x = 2
y : N
y = x + 1
x
y