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