deferred class TWO_SHAPES(s1,s2: SHAPE)

feature

   distance: REAL_64
      deferred
      end

   intersect: BOOLEAN
      do
         Result := distance <= 0
      end
 
end -- TWO_SHAPES