⚠️ This module is not part of this project and is only included for reference.
It is either part of the 1lab, the cubical library, or a built-in Agda module.
<!-- ```agda ``` --> ```agda module Data.Int where ``` # The integers - index ```agda open import Data.Int.Properties public open import Data.Int.Order public open import Data.Int.Base public ```