ANY NONE
class interface WHEN_PARTIALLY_VISIBLE

feature(s) from HASHABLE
   hash_code: INTEGER
      -- The hash-code value of Current.
      ensure
         good_hash_value: Result >= 0

feature(s) from WHEN_PARTIALLY_VISIBLE
   when_partially_visible (p: PROCEDURE[ANY,TUPLE])

   when_partially_visible_signal: SIGNAL_0



end of WHEN_PARTIALLY_VISIBLE