1DERSpec DEFINITIONS ::=
2
3BEGIN
4
5Seq ::= SEQUENCE {
6  int [1] INTEGER,
7  choice C,
8  bool BOOLEAN
9}
10
11C ::= CHOICE {
12  version INTEGER,
13  message PrintableString
14}
15
16Set ::= SET {
17  int [1] INTEGER,
18  choice C,
19  bool BOOLEAN
20}
21
22
23SetOf ::= SET OF C
24
25-- This type compiled with ber_bin, optimize, der
26-- will test the fix in OTP-4866
27Set2 ::= SET {
28  int INTEGER,
29  bool BOOLEAN}
30
31-- OTP-5602
32SO ::= SEQUENCE OF Seq2
33
34Seq2 ::= SEQUENCE {
35  a INTEGER,
36  b BOOLEAN}
37
38END