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