ulkb.Theory.lookup_extension#

Theory.lookup_extension(arg, default=<class 'ulkb.util.Nil'>)[source]#

Searches for extension.

If default is given, returns it instead of raising an exception.

Parameters:
  • arg – Id.

  • default – Value.

Returns:

Extension.

Raises:

LookupErrorarg not in theory.

See also

lookup_extension().