CommandLineCirio.mesa
Copyright Ó 1989, 1990, 1992 by Xerox Corporation. All rights reserved.
Philip James, December 28, 1990 11:51 am PST
Spreitze, October 1, 1990 8:35 am PDT
DIRECTORY
Commander;
CommandLineCirio: DEFINITIONS ~ {
Direction: TYPE = {Cooler, Warmer, Absolute};
FrameType: TYPE = {Cedar, C};
WalkArg: TYPE = RECORD [
dir: Direction ¬ Absolute,
num: INT ¬ 1,
typ: FrameType ¬ C];
ch: Commander.Handle;
}.