This module contains useful operations on rectangles. A rectangle is defined as in module <#581#>stdwin<#581#>: a pair of points, where a point is a pair of integers. For example, the rectangle
verbatim6#
is a rectangle whose left, top, right and bottom edges are 10, 20, 90 and 80, respectively. Note that the positive vertical axis points down (as in <#584#>stdwin<#584#>).
The module defines the following objects: