ulkb.Theory.new_base_type#

Theory.new_base_type(arg1, **kwargs)[source]#

Adds new base type.

Parameters:

  • arg1 – Id.

  • kwargs – Annotations.

Returns:

TypeApplication.

Equivalent to:#
self.extend(NewTypeConstructor(
   TypeConstructor(arg1, 0, None, **kwargs)))[0]()

See also

new_base_type().