<SwitchTypesPrivate.Mesa>> <> DIRECTORY RoseTypes, SwitchTypes; SwitchTypesPrivate: CEDAR DEFINITIONS = BEGIN OPEN RoseTypes, SwitchTypes; Switches: TYPE = LONG POINTER TO PACKED ARRAY NAT OF SwitchVal; SwitchMakeSplitJoin: PROC [within: Cell, a, b: StretchList, writeA, writeB: BOOLEAN, for: ExpansionReceiver] RETURNS [cell: Cell]; END.