{-# OPTIONS --cubical --no-import-sorts --safe #-}
module Cubical.HITs.Rationals.QuoQ where

open import Cubical.HITs.Rationals.QuoQ.Base public

open import Cubical.HITs.Rationals.QuoQ.Properties public