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