ulkb.Theory.new_python_type_alias#

Theory.new_python_type_alias(arg1, arg2, arg3=None, **kwargs)[source]#

Adds new Python type alias.

Parameters:

  • arg1 – Python type.

  • arg2 – Type.

  • arg3 – Type specification.

  • kwargs – Annotations.

Returns:

Type.

Equivalent to:#
extend(NewPythonTypeAlias(arg1, arg2, **kwargs))[1]

See also

new_python_type_alias().