{-# OPTIONS --safe #-}

module Cubical.Categories.NaturalTransformation where

open import Cubical.Categories.NaturalTransformation.Base public
open import Cubical.Categories.NaturalTransformation.Properties public