Documentation

Init.Data.Int.Repr

source
def Int.repr :
Int → String

Returns the decimal string representation of an integer.

Instances For
    source
    @[implicit_reducible]
    instance Int.instRepr :
    Repr Int