class A_T_X(a: A; t: T; x: X) inherit ANY redefine out end feature out: STRING do Result := "A_T_X" end write do print("[write] "+a.out+"+"+t.out+"+"+x.out+" -> "+out+"%N"); end end -- A_T_X