[sv-bc] questions about enumeration types

If I have an import of the enumeration type, does it consequently imports
all the enumeration constants defined by the enumeration type?
Is the following legal or do I have to add an import of the constant red?

Example:

package p;
endpackage
typedef enum color = {red, blue, yellow, green};
module m;
import p::color;

color r;
initial
    r = red;
endmodule

I think that this should be legal.

Francoise
        '
Received on Mon Jun 21 13:13:19 2004