mentor/src/kpaths/VertexSeq.m3
Copyright 1993 by Digital Equipment Corp.
MODULE
VertexSeq
=
Sequence
(
Vertex
,
VertexSeq
,
VertexSeqRep
) END VertexSeq.