BEGIN OPEN LichenDataStructure, LichenTransforms;

badEdge: Edge;

ToRope: PROC [ra: REF ANY] RETURNS [rope: ROPE];

ToVertexS: PROC [context, ra: REF ANY] RETURNS [vs: VertexS];

ToNamesS: PROC [ra: REF ANY] RETURNS [ns: NamesS];

EnumerateCellTypes: PROC [design: Design, ra: REF ANY, consume: PROC [CellType]];

EnumerateParts: PROC [ct: CellType, consume: PROC [Vertex]];

EnumerateVertices: PROC [context, ra: REF ANY, consume: PROC [Vertex]];

JoinNames: PROC [parent, child: Names, dot: BOOL ← TRUE] RETURNS [joined: Names];

QualifyEquivClass: PROC [qual: Names, equivClass: EquivClass, dot: BOOL ← TRUE] RETURNS [quald: EquivClass];

AddEdge: PROC [cv, nv: Vertex];

END.