deferred class
	KL_COMPARABLE

General
	cluster: kernel
	description: "Objects that may be compared according to a total order relation"

Ancestors
	COMPARABLE*

Queries
	is_equal (other: [like Current] KL_COMPARABLE): BOOLEAN
	is_greater alias ">" (other: [like Current] KL_COMPARABLE): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] KL_COMPARABLE): BOOLEAN
	is_less alias "<" (other: [like Current] KL_COMPARABLE): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] KL_COMPARABLE): BOOLEAN
	max (other: [like Current] KL_COMPARABLE): [like Current] KL_COMPARABLE
	min (other: [like Current] KL_COMPARABLE): [like Current] KL_COMPARABLE
	three_way_comparison (other: [like Current] KL_COMPARABLE): INTEGER_32

Generated by ISE EiffelStudio