module GpdCont.TwoCategory.StrictFunctor where

open import GpdCont.TwoCategory.StrictFunctor.Base public