11. Annotations and Contracts

Function annotations, compile-time contracts, type traits, deferred execution, and other compile-time utilities.

• 11.1. Miscellaneous contract annotations
• 11.2. Apply reflection pattern
• 11.3. defer and defer_delete macros
• 11.4. with_ macro: locked array/table element binding
• 11.5. if_not_null macro
• 11.6. static_let macro
• 11.7. lpipe macro
• 11.8. Assert once
• 11.9. Loop unrolling
• 11.10. Bitfield operator overloads
• 11.11. Bitfield name traits
• 11.12. Enumeration traits
• 11.13. Type trait macros