1SeqSetLib DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4EXPORTS Seq1,Set1;
5
6Seq1 ::= SEQUENCE
7{
8  bool1  BOOLEAN,
9  int1  INTEGER,
10  seq1  SeqIn
11}
12
13Set1 ::= SET
14{
15  bool1  BOOLEAN,
16  int1  INTEGER,
17  set1  SetIn
18}
19
20SetIn ::= SET
21{
22  boolIn  BOOLEAN,
23  intIn  INTEGER
24}
25
26SeqIn ::= SEQUENCE
27{
28  boolIn  BOOLEAN,
29  intIn  INTEGER
30}
31
32END
33