toInteger

{-
Convert a `Natural` number to the corresponding `Integer`
-}
let toInteger : Natural → Integer = Natural/toInteger

let example0 = assert : toInteger 3 ≡ +3

let example1 = assert : toInteger 0 ≡ +0

in  toInteger