Vl-packed-datatype-size
Get the size for any packed data type.
- Signature
(vl-packed-datatype-size x) → (mv warning size)
- Arguments
- x — Guard (vl-datatype-p x).
- Returns
- warning — Type (iff (vl-warning-p warning) warning).
- size — Type (implies (not warning) (posp size)).
The type should be fully resolved (i.e. no usertypes) and be
packed or we'll fail.