Expression

.. currentmodule:: ulkb

.. autoclass:: Expression
   :no-members:
   :show-inheritance:

Unfolded args

.. autosummary::
   :toctree: generated/

   Expression.unfolded_args
   Expression.get_unfolded_args

.. autosummary::
   :toctree: generated/

   Expression.type_constructors
   Expression.get_type_constructors
   Expression.has_type_constructors

.. autosummary::
   :toctree: generated/

   Expression.type_variables
   Expression.get_type_variables
   Expression.has_type_variables

.. autosummary::
   :toctree: generated/

   Expression.instantiate