Set: pp::colors
  Set: pp::unicode
ℤ → ℤ → ℤ
  Assumed: f
f 0
f 0 : ℤ → ℤ
f 0 1 : ℤ