1SeqExternal DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5IMPORTS  XSet1, XSeqNT, XSeqImp, XSeqExp FROM External;
6
7
8
9SeqXSet1 ::= SEQUENCE
10{
11  set  XSet1,
12  bool  BOOLEAN,
13  int  INTEGER
14}
15
16
17SeqXSet2 ::= SEQUENCE
18{
19  bool  BOOLEAN,
20  set  XSet1,
21  int  INTEGER
22}
23
24
25SeqXSet3 ::= SEQUENCE
26{
27  bool  BOOLEAN,
28  int  INTEGER,
29  set  XSet1
30}
31
32
33
34NT ::= SEQUENCE {
35  os  OCTET STRING,
36  bool  BOOLEAN}
37Imp ::= [1] SEQUENCE {
38  os  OCTET STRING,
39  bool  BOOLEAN}
40Exp ::= [2] EXPLICIT SEQUENCE {
41  os  OCTET STRING,
42  bool  BOOLEAN}
43
44NTNT ::= NT
45ImpNT ::= [3] NT
46ExpNT ::= [4] EXPLICIT NT
47
48NTImp ::= Imp
49ImpImp ::= [5] Imp
50ExpImp ::= [6] EXPLICIT Imp
51
52NTExp ::= Exp
53ImpExp ::= [7] Exp
54ExpExp ::= [8] EXPLICIT Exp
55
56XNTNT ::= XSeqNT
57XImpNT ::= [3] XSeqNT
58XExpNT ::= [4] EXPLICIT XSeqNT
59
60XNTImp ::= XSeqImp
61XImpImp ::= [5] XSeqImp
62XExpImp ::= [6] EXPLICIT XSeqImp
63
64XNTExp ::= XSeqExp
65XImpExp ::= [7] XSeqExp
66XExpExp ::= [8] EXPLICIT XSeqExp
67
68END
69