module Cubical.HITs.Localization where

open import Cubical.HITs.Localization.Base public

open import Cubical.HITs.Localization.Properties public