class interface P_PAIR[I,J] feature(s) from P_PAIR -- Elements one: I two: J feature(s) from P_PAIR -- Change set_one (o: I) ensure keep_reference: one = o set_two (t: J) ensure keep_reference: two = t end of P_PAIR[I,J]