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]