ulkb.Theory.extend#

Theory.extend(ext)[source]#

Adds extension.

Parameters:

extExtension.

Returns:

ext.

Raises:

ExtensionErrorext cannot be added to theory.

See also

extend().