{-# OPTIONS --cubical --no-import-sorts --safe #-}
module Cubical.HITs.Ints.QuoInt where

open import Cubical.HITs.Ints.QuoInt.Base public

open import Cubical.HITs.Ints.QuoInt.Properties public