indexing
     description: "Multiple keys"
     author: "Lionel Moro"
     date: "$Date$"
     revision: "$Revision$"

class interface
     MULTI_KEY

feature -- Access

     hash_code
     
invariant

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

end -- class MULTI_KEY