.. _Elaboration:

********************************************************************************
Elaboration
********************************************************************************


.. toctree::

    e_inductive_type
    e_pattern_match