{-# OPTIONS --safe #-} module Cubical.Categories.Constructions.TotalCategory where open import Cubical.Categories.Constructions.TotalCategory.Base public open import Cubical.Categories.Constructions.TotalCategory.Properties public