Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	KL_EQUALITY_TESTER_A [G -> detachable ANY]

General
	cluster: gobo_extension
	description: "Equality testers"

Ancestors
	ANY
	KL_EQUALITY_TESTER [G]
	KL_IMPORTED_ANY_ROUTINES

Queries
	Any_: KL_ANY_ROUTINES
	internal_test (v, u: detachable G): BOOLEAN
	test (v, u: detachable G): BOOLEAN



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org