disco-0.2: test/repl-defn/expected

5
x : ℕ
T
6