<> <> <<>> { <> Type: TYPE = {int, real, rope, bool}; RopeArray: TYPE = ARRAY [0..0) OF Rope.ROPE; TypeArray: TYPE = ARRAY [0..0) OF Type; ValueArray: TYPE = ARRAY [0..0) OF IO.Value;