pass the Verifier.
TODO: Metadata, in all its forms
-TODO: Union types
*)
| dllexport
| common
| private
- | "linker_private"
- | "linker_private_weak"
;
GVExternalLinkage
| optsize
| ssp
| sspreq
+ | returns_twice
+ | nonlazybind
+ | sanitize_address
+ | sanitize_thread
+ | sanitize_memory
;
OptFuncAttrs ::= + _ | OptFuncAttrs FuncAttr ;