{-# OPTIONS --exact-split --safe --prop #-}
module Data.Int where

open import Data.Int.Definition public
open import Data.Int.Syntax public
open Patterns public
open import Data.Int.Arithmetic public

