class
	PAIR [G -> attached ANY, H -> attached ANY]

General
	cluster: mathmodels
	description: "Pairs."
	create: make, make_from_tuple

Ancestors
	ANY
	DEBUG_OUTPUT*

Queries
	as_tuple: TUPLE [G, H]
	debug_output: STRING_8
	first: G
	is_equal (other: [like Current] PAIR [G, H]): BOOLEAN
	out: STRING_8
	second: H

Commands
	make (g: G; h: H)
	make_from_tuple (t: TUPLE [G, H])


Generated by ISE EiffelStudio