<<>> <> <> <> <> 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; }.