ulkb.Theory.extend

Theory.extend(ext)

Adds extension.

Parameters:

ext – Extension.

Returns:

ext.

Raises:

ExtensionError – ext cannot be added to theory.

See also

extend().