Type Definition unsegen::base::basic_types::Width[][src]

type Width = PositiveAxisDiff<ColDimension>;
Expand description

A PositiveAxisDiff in x-dimension.