Spinroot

Does SPIN allow the declaration of an array whose elements have the type unsigned? Without declaring an auxiliary type, such as:
                                                                                                                                   
                     typedef TypeName { unsigned ElemName: 10;}
                     TypeName ArrayName[11];