Stdlib.Data.Int
Contents
builtin int-to-string axiom intToString : Int -> StringSource#
Converts an Int into String.
instance eqIntI : Eq IntSource#
instance ordIntI : Ord IntSource#
instance showIntI : Show IntSource#