<> <> <> <> DIRECTORY CedarBaseType USING [TypeIndex, OrdinalValue], IO USING [STREAM]; CedarBaseValue: CEDAR DEFINITIONS ~ { OPEN CedarBaseType, IO; <> 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]; }...