		Search-engine friendly clone of the ACL2 documentation.

Storage-specifier-lists

Characterization of valid lists of storage specifiers.

Stor-spec-list-static-thread-p: Check if a list of storage class specifiers has the form static _Thread_local or _Thread_local static, including the __thread variant of _Thread_local.
Stor-spec-list-extern-thread-p: Check if a list of storage class specifiers has the form extern _Thread_local or _Thread_local extern, including the __thread variant of _Thread_local.
Stor-spec-list-thread-p: Check if a list of storage class specifiers has the form _Thread_local or __thread.
Stor-spec-list-typedef-p: Check if a list of storage class specifiers has the form typedef.
Stor-spec-list-static-p: Check if a list of storage class specifiers has the form static.
Stor-spec-list-register-p: Check if a list of storage class specifiers has the form register.
Stor-spec-list-extern-p: Check if a list of storage class specifiers has the form extern.
Stor-spec-list-auto-p: Check if a list of storage class specifiers has the form auto.