Value
Value: TYPE ~ REF ValueRep;
ValueRep: TYPE;
PrintValue: PROC [Value, STREAM];
BuildVarValue: PROC [TypeIndex] RETURNS [Value];
IsVarValue: PROC [Value] RETURNS [BOOLEAN];
BuildSimpleValue: PROC [TypeIndex, OrdinalValue] RETURNS [Value];
IsSimpleValue: PROC [Value] RETURNS [BOOLEAN];
ValueGetType: PROC [Value] RETURNS [TypeIndex];
ValueGetOrdinal: PROC [Value] RETURNS [OrdinalValue];