class PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] Ancestors FUNCTION [OPEN_ARGS -> detachable TUPLE create default_create end, RESULT_TYPE] Clients ES_BOOLEAN_TEST_CASE FUN [G -> attached ANY, H -> attached ANY] PROXY_COMPARABLE [G] SEQ [G -> attached ANY] SET [G -> attached ANY]
Generated by ISE EiffelStudio