class PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] Ancestors FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] Clients PROXY_COMPARABLE [G]
Generated by ISE EiffelStudio