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

type Height = PositiveAxisDiff<RowDimension>;
Expand description

A PositiveAxisDiff in y-dimension.