ulkb.Theory.new_definition#

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

Adds new definition.

Parameters:

  • arg1 – Id.

  • arg2 – Term.

  • kwargs – Annotations.

Returns:

Constant.

Equivalent to:#
self.extend(NewDefinition(
   Equal(Constant(arg1, arg2.type), arg2), **kwargs));
self.constants_dict[arg1]

See also

new_definition().