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