===========
Basic Types
===========

.. role:: ada(code)
   :language: ada

---------
Questions
---------

* We want to implement the following Finite State Machine

.. image:: img/basic_types.png

* Follow the instructions in the source file