Skip to main content

Module non_zero_int

Module non_zero_int 

Source

Structsยง

NonZeroInt
Introduced in Conway negInt64 = -9223372036854775808 .. -1 posInt64 = 1 .. 9223372036854775807 nonZeroInt64 = negInt64 / posInt64 ; this is the same as the current int64 definition but without zero