module Cubical.HITs.Susp where

open import Cubical.HITs.Susp.Base public

open import Cubical.HITs.Susp.Properties public