{-# OPTIONS --safe #-} module Cubical.Data.Sum where open import Cubical.Data.Sum.Base public open import Cubical.Data.Sum.Properties public