Miscellaneous lemmas about the integers #
This file contains lemmas about integers, which require further imports than
Data.Int.Basic
or Data.Int.Order
.
succ
and pred
#
natAbs
#
toNat
#
bitwise ops #
This lemma is orphaned from Data.Int.Bitwise
as it also requires material from Data.Int.Order
.