StructureFromCore:
CEDAR
DEFINITIONS = {
OPEN CoreStructuralComparison, StructuralComparisonDataStructure;
GetGraph: PROC [cct: Core.CellType, internals, flatten: BOOL] RETURNS [sct: CellType];
GetCellType: PROC [sct: CellType] RETURNS [cct: Core.CellType];
ForgetGraph: PROC [sct: CellType];
GetStructure: PROC [sct: CellType, core: Descendant] RETURNS [v: Vertex];
GetCore: PROC [v: Vertex] RETURNS [core: Descendant];
}.