nat to string?

Stream: general

[Scott Morrison]

How to I get a string from a nat?

[Simon Hudon]

to_string

[Scott Morrison]

invalid field notation, 'to_string' is not a valid "field" because environment does not contain 'nat.to_string'
  k
which has type
  ℕ

[Simon Hudon]

try to_string k. It's part of the has_to_string class so it won't support field notation

[Scott Morrison]

thank you!