-- Copyright 2003, Trustees of Indiana University
-- Please see the license in the file ../LICENSE

deferred class READABLE_PROPERTY_MAP[KEY, VALUE]

feature
   get (k: KEY): VALUE is deferred end
end -- READABLE_PROPERTY_MAP