index.rst

User Guide

.. jinja:: guide_ctx

   {% if full_guide %}

   .. toctree::
      :maxdepth: 2

      overview
      modeler
      verifier
      testing
      coverage
      toolbox
      example
      cli

   {% else %}

   .. toctree::
      :maxdepth: 2

      overview
      modeler
      example
      cli

   {% endif %}