<> <> <> <> DIRECTORY CedarBaseContext USING [LocalContext, RibContext], CedarBaseType USING [TypeGraph, TypeIndex, TypeNode]; CedarBaseTypeAux: CEDAR DEFINITIONS ~ { OPEN CedarBaseContext, CedarBaseType; FetchType: PROC [TypeGraph, TypeIndex, LocalContext, RibContext] RETURNS [TypeNode, LocalContext, TypeGraph]; AddOrSetType: PROC [TypeGraph, TypeNode, TypeIndex] RETURNS [TypeGraph, TypeIndex]; FetchAllSizes: PROC [TypeGraph, LocalContext, RibContext] RETURNS [LocalContext, TypeGraph]; }...