indexing description: "Representation of an Eiffel type." date: "$Date$" revision: "$Revision$" class TYPE [G] feature default_detachable_value: detachable G do end end