(**********************************************************************************

 Export file for double functors

 **********************************************************************************)
Require Export UniMath.Bicategories.DoubleCategories.Core.DoubleFunctor.Basics.
Require Export UniMath.Bicategories.DoubleCategories.Core.DoubleFunctor.LeftUnitor.
Require Export UniMath.Bicategories.DoubleCategories.Core.DoubleFunctor.RightUnitor.
Require Export UniMath.Bicategories.DoubleCategories.Core.DoubleFunctor.Associator.
