1InfClass3 DEFINITIONS  ::=
2BEGIN
3
4FUNCTION ::= CLASS {
5    &ArgumentType,
6    &ResultType   DEFAULT NULL,
7    &code         INTEGER
8    }
9
10ObjSet1 FUNCTION ::= { ... }
11
12object1 FUNCTION ::= {
13    &ArgumentType  INTEGER,
14    &ResultType    INTEGER,
15    &code          3
16    }
17
18object2 FUNCTION ::= {
19    &ArgumentType  INTEGER,
20    &ResultType    INTEGER,
21    &code          2
22    }
23
24
25ObjSet2 FUNCTION ::= {
26    object1 | object2 }
27
28ParamType{FUNCTION:object} ::=SEQUENCE
29{
30   val1    INTEGER,
31   val2    object.&ArgumentType
32   }
33
34parTypVal{FUNCTION:object2} ParamType ::= {1,2}
35
36END
37