Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	TYPE [G]

General
	cluster: elks
	description: "Representation of an Eiffel type."

Ancestors
	DEBUG_OUTPUT*
	HASHABLE*
	PART_COMPARABLE*

Queries
	adapt alias "[]" (g: detachable G): detachable G
	attempted alias "/" (obj: detachable separate ANY): detachable G
	debug_output: READABLE_STRING_32
	default: G
	default_detachable_value: detachable G
	generic_parameter_count: INTEGER_32
	generic_parameter_type (i: INTEGER_32): TYPE [detachable ANY]
	has_default: BOOLEAN
	hash_code: INTEGER_32
	is_attached: BOOLEAN
	is_conforming_to alias "<=" (other: [like Current] TYPE [G]): BOOLEAN
	is_deferred: BOOLEAN
	is_equal (other: [like Current] TYPE [G]): BOOLEAN
	is_expanded: BOOLEAN
	is_greater alias ">" (other: [like Current] TYPE [G]): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] TYPE [G]): BOOLEAN
	is_hashable: BOOLEAN
	is_strictly_conforming_to alias "<" (other: [like Current] TYPE [G]): BOOLEAN
	name: IMMUTABLE_STRING_8
	name_32: IMMUTABLE_STRING_32
	out: STRING_8
	type_id: INTEGER_32



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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