1M1 DEFINITIONS AUTOMATIC TAGS ::=
2
3BEGIN
4
5IMPORTS
6
7   Type6
8    FROM M2
9   ;
10
11Type1 ::= INTEGER (1..3)
12
13Type2 ::= ENUMERATED {one,two}
14
15Type3 ::= BOOLEAN
16
17Type4 ::= SEQUENCE {
18  a   Type1,
19  b   BOOLEAN
20}
21
22Type5 ::= OCTET STRING
23
24END
25