Automatic generation produced by ISE Eiffel
class PROXY_COMPARABLE [G] Ancestors COMPARABLE* Clients PROXY_COMPARABLE [G] Suppliers PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] PROXY_COMPARABLE [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com