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