int_to_expr

Stream: Is there code for X?

[Chris Hughes]

Is there a function with this type that makes something a bit nicer. I just want it to always make the string of bit1 $ bit0 $ ... with a potential minus in front.

meta def int.to_expr (n : int) : expr := reflect n