Right. Here's what that might look like:

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:

PREVIOUS Go back to the question

OUTLINE  Go up to the outline of lesson 6

David A. Wheeler (dwheeler@ida.org)