mentor/src/kpaths/EdgeSeqRep.i3
Copyright 1993 by Digital Equipment Corp.
INTERFACE
EdgeSeqRep
=
SequenceRep
(
Edge
,
EdgeSeq
) END EdgeSeqRep.