.. Types
型
=====

.. toctree::

   inference/index
   annotations
   ascription
   functions/index
   structural_types