<> <> <> <<>> <> DIRECTORY PETypes, ViewerClasses USING [Viewer]; PEConstraints: CEDAR DEFINITIONS = BEGIN OPEN PETypes; Constrain: PROCEDURE [pathViewer: ViewerClasses.Viewer, vertex: VertexNode, segment: SegmentNode, newPosition: Point]; <> END.