********************************************************************************
Builtins
********************************************************************************


The compiler _knows_ about some types. These types are builtin types. The
builtin types and the corresponding functions reside all in the package
``alba.core``.


.. toctree::

    general
    logic
    natural
    integer
    nat
    list
    basic-types