1
ChoExternal DEFINITIONS IMPLICIT TAGS ::=
5
IMPORTS XSeq1, XCho, XBool, XBoolImp, XBoolExp, XChoNT, XChoExp FROM External;
23
Exp ::= [2] EXPLICIT CHOICE {
28
ExpNT ::= [4] EXPLICIT NT
31
ExpExp ::= [8] EXPLICIT Exp
34
XExpNT ::= [4] EXPLICIT XChoNT
37
XExpExp ::= [8] EXPLICIT XChoExp