Advanced Usage
==============
In this section, we'll look at some of the advanced use cases you can use kani for.
Each of these use cases has an example in `the GitHub repo <https://github.com/zhudotexe/kani/tree/main/examples>`_.

.. toctree::
    :maxdepth: 2

    advanced/messageparts
    advanced/message_extras
    advanced/retrieval
    advanced/subkani
    advanced/api
    advanced/polymorphism
    advanced/saveload