{-# OPTIONS --cubical --safe #-} module Cubical.HITs.SetTruncation where open import Cubical.HITs.SetTruncation.Base public open import Cubical.HITs.SetTruncation.Properties public