1SeqOfExternal DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5IMPORTS XSeqNT, XSeqImp, XSeqExp FROM External;
6
7
8NT ::= SEQUENCE {
9  os  OCTET STRING,
10  bool  BOOLEAN}
11Imp ::= [21] SEQUENCE {
12  os  OCTET STRING,
13  bool  BOOLEAN}
14Exp ::= [22] EXPLICIT SEQUENCE {
15  os  OCTET STRING,
16  bool  BOOLEAN}
17
18NTNT ::= SEQUENCE OF NT
19ImpNT ::= [3] SEQUENCE OF NT
20ExpNT ::= [4] EXPLICIT SEQUENCE OF NT
21
22NTImp ::= SEQUENCE OF Imp
23ImpImp ::= [5] SEQUENCE OF Imp
24ExpImp ::= [6] EXPLICIT SEQUENCE OF Imp
25
26NTExp ::= SEQUENCE OF Exp
27ImpExp ::= [7] SEQUENCE OF Exp
28ExpExp ::= [8] EXPLICIT SEQUENCE OF Exp
29
30XNTNT ::= SEQUENCE OF XSeqNT
31XImpNT ::= [3] SEQUENCE OF XSeqNT
32XExpNT ::= [4] EXPLICIT SEQUENCE OF XSeqNT
33
34XNTImp ::= SEQUENCE OF XSeqImp
35XImpImp ::= [5] SEQUENCE OF XSeqImp
36XExpImp ::= [6] EXPLICIT SEQUENCE OF XSeqImp
37
38XNTExp ::= SEQUENCE OF XSeqExp
39XImpExp ::= [7] SEQUENCE OF XSeqExp
40XExpExp ::= [8] EXPLICIT SEQUENCE OF XSeqExp
41
42END
43