aboutsummaryrefslogtreecommitdiff
path: root/Functor/Cartesian/Instance/Underlying
ModeNameSize
d---------SymmetricMonoidal51logplain