<> <> <> <> <> <> DIRECTORY DBDefs USING [Entity, Segment], Rope USING [ROPE]; DBNames: CEDAR DEFINITIONS = BEGIN OPEN Rope, DBDefs; EntityToName: PROC[e: Entity, seg: Segment] RETURNS[name: ROPE]; <> MakeName: PROC[seg: Segment, domain, eName: ROPE] RETURNS[name: ROPE]; <> NameToEntity: PROC[name: ROPE, create: BOOL _ FALSE] RETURNS[e: Entity]; <> SegmentOf: PROC[name: ROPE] RETURNS[segment: Segment, filePath: ROPE]; DecomposeName: PROC[name: ROPE] RETURNS[segment, domain, entity: ROPE] END. . .