plus

operator fun plus(extra: Int): WidthRange
operator fun plus(other: WidthRange): WidthRange