ulkb.Theory.new_constant#

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

Adds new constant.

Parameters:

  • arg1 – Id.

  • arg2 – Type.

  • kwargs – Annotations.

Returns:

Constant.

Equivalent to:#
self.extend(NewConstant(Constant(arg1, arg2, **kwargs)))[0]

See also

new_constant().