ulkb.Theory.new_type_constructor#

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

Adds new type constructor.

Parameters:

  • arg1 – Id.

  • arg2 – Arity.

  • arg3 – Associativity ('left' or 'right').

  • kwargs – Annotations.

Returns:

TypeConstructor.

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

See also

new_type_constructor().