ulkb.show_python_type_aliases# show_python_type_aliases(*args, theory=None, **kwargs)[source]# Prints Python type aliases matching criteria. See Theory.show_extensions().