indexing
     status: "See notice at end of class"
     date: "$Date$"
     revision: "$Revision$"
     product: eiffelstore
     database: all_bases

class interface
     HANDLE_USE

invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class HANDLE_USE