<> <> <> <> DIRECTORY DB USING[Relation, FieldSpec, Domain, Segment, TypeCode]; DBExtras: CEDAR DEFINITIONS = BEGIN RelationType: PROC[r: DB.Relation] RETURNS[fields: DB.FieldSpec, isProperty: BOOL]; <> TypeToDomain: PROC[type: DB.TypeCode, segment: DB.Segment] RETURNS[d: DB.Domain]; <> <<>> END.