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@dwheeler.com)

The master copy of this file is at "http://www.adahome.com/Tutorials/Lovelace/s6sfr2.htm".