mentor/src/kpaths/VertexSeq.m3


 Copyright 1993 by Digital Equipment Corp. 

MODULE VertexSeq = Sequence(Vertex, VertexSeq, VertexSeqRep) END VertexSeq.