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