package Up_And_Down is
  type Up_And_Down_Type is limited private;
  procedure Up(U : Up_And_Down_Type);
  procedure Down(U : Up_And_Down_Type);
end Up_And_Down;

You may go to the next section.

You may also:

Go back to the question

Go up to the outline of lesson 6