INTERFACE Recte;

Like Rect.i3, but my implementation doesn't have any problem with infinitely thin rectangles

IMPORT Point;
IMPORT Rect;
TYPE
  T = Rect.T;

PROCEDURE FromCorners(READONLY p, q: Point.T): T;
PROCEDURE Inset(READONLY r: T; n: INTEGER): T;

ought to have an IsEmpty

END Recte.