agda/test/Common/Integer.agda

{-# OPTIONS --without-K #-}
module Common.Integer where

open import Agda.Builtin.Int public renaming (Int to Integer)