Type Definition Width
unsegen::base::basic_types
type Width = PositiveAxisDiff<ColDimension>;
A PositiveAxisDiff in x-dimension.