mentor/src/kpaths/EdgeSeq.m3
Copyright 1993 by Digital Equipment Corp.
MODULE
EdgeSeq
=
Sequence
(
Edge
,
EdgeSeq
,
EdgeSeqRep
) END EdgeSeq.