none - tadashi9e/gmp4pony GitHub Wiki

primitive None is Stringable
  fun string(): String iso^ =>
    "None".string()