1
SeqOfExternal DEFINITIONS IMPLICIT TAGS ::=
5
IMPORTS XSeqNT, XSeqImp, XSeqExp FROM External;
11
Imp ::= [21] SEQUENCE {
14
Exp ::= [22] EXPLICIT SEQUENCE {
18
NTNT ::= SEQUENCE OF NT
19
ImpNT ::= [3] SEQUENCE OF NT
20
ExpNT ::= [4] EXPLICIT SEQUENCE OF NT
22
NTImp ::= SEQUENCE OF Imp
23
ImpImp ::= [5] SEQUENCE OF Imp
24
ExpImp ::= [6] EXPLICIT SEQUENCE OF Imp
26
NTExp ::= SEQUENCE OF Exp
27
ImpExp ::= [7] SEQUENCE OF Exp
28
ExpExp ::= [8] EXPLICIT SEQUENCE OF Exp
30
XNTNT ::= SEQUENCE OF XSeqNT
31
XImpNT ::= [3] SEQUENCE OF XSeqNT
32
XExpNT ::= [4] EXPLICIT SEQUENCE OF XSeqNT
34
XNTImp ::= SEQUENCE OF XSeqImp
35
XImpImp ::= [5] SEQUENCE OF XSeqImp
36
XExpImp ::= [6] EXPLICIT SEQUENCE OF XSeqImp
38
XNTExp ::= SEQUENCE OF XSeqExp
39
XImpExp ::= [7] SEQUENCE OF XSeqExp
40
XExpExp ::= [8] EXPLICIT SEQUENCE OF XSeqExp