HelloWorld - 0.1.0

Stdlib.Data.Int

Definitions

import Stdlib.Data.Int.Base open hiding {+; -; *; div; mod} public

builtin int-to-string axiom intToString : Int -> StringSource#

Converts an Int into String.

instance eqIntI : Eq IntSource#