ValueList ::= SET OF KeyValue KeyValue ::= SEQUENCE { key MyKeyType, value MyValueType } MyKeyType ::= ... -- whatever you want here MyValueType ::= ... -- ditto ?