{-# OPTIONS --safe #-}
module Cubical.Data.Int.MoreInts.QuoInt where

open import Cubical.Data.Int.MoreInts.QuoInt.Base public

open import Cubical.Data.Int.MoreInts.QuoInt.Properties public