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