Overrides: PrimSpec class
Overrides: PrimSpec
Make an array initialized to zero values
Overrides: PrimSpec
Make an array with the values at the given address
Overrides: PrimSpec
How many bits, or zero if it is unlimited
Whether this spec can hold the given value
A spec whose range of values contains both ranges
Overrides: PrimSpec
Whether it allows negative values
Overrides: PrimSpec
Overrides: PrimSpec
Make an array the contents of the string
A boxed integer value