disco-0.1.0.0: test/repl-ann/expected
Loading num.disco... factor : ℕ → Bag(ℕ) (λx : ℤ, y : a. (~-~ : ℤ × ℤ → ℤ)((x : ℤ, 7 : ℤ) : ℤ × ℤ) : ℤ) : ℤ → a3 → ℤ
Loading num.disco... factor : ℕ → Bag(ℕ) (λx : ℤ, y : a. (~-~ : ℤ × ℤ → ℤ)((x : ℤ, 7 : ℤ) : ℤ × ℤ) : ℤ) : ℤ → a3 → ℤ