====
Type
====

.. currentmodule:: ulkb

.. autoclass:: Type
   :no-members:

Type variable
-------------

.. autoclass:: TypeVariable
   :no-members:

Type application
----------------

.. autoclass:: TypeApplication
   :no-members: