[ASN.1] TYPE-IDENTIFIER.&Type

[Paul Long]

I've put it off too long. Now it's time for me learn this ".&" stuff. Is y,
below, encoded in PER as an open type that contains an encoding of X? Is
that all there is to it? Also, what syntactical role does the "(X)" play? Is
this a constraint and otherwise y could be encoded as an open type of any
type?

X ::= SEQUENCE {
        a INTEGER,      -- stuff...
        b BOOLEAN
}

Z ::= SEQUENCE {
        y TYPE-IDENTIFIER.&Type (X)
}

Paul Long
ipDialog, Inc.