ulkb.show_python_type_aliases#

show_python_type_aliases(*args, theory=None, **kwargs)[source]#

Prints Python type aliases matching criteria.

See Theory.show_extensions().