{-# OPTIONS --without-K --safe #-}
module Categories.NaturalTransformation where
 
-- all the important stuff about NaturalTransformation are defined in .Core
 
open import Categories.NaturalTransformation.Core public