disco-0.1.0.0: test/repl-defn/expected

5
x : ℕ
true
6