.. _stdlib_sec_annotations:

*************************
Annotations and Contracts
*************************

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

.. toctree::

   contracts.rst
   apply.rst
   defer.rst
   if_not_null.rst
   is_local.rst
   safe_addr.rst
   static_let.rst
   lpipe.rst
   assert_once.rst
   unroll.rst
   bitfield_boost.rst
   bitfield_trait.rst
   enum_trait.rst
   type_traits.rst
   cpp_bind.rst