class TWO_POINTS(p1,p2: POINT)

feature

   equals: BOOLEAN
      do
         Result := p1.x = p2.x and p1.y = p2.y
      end;

end -- TWO_POINTS