ulkb.Theory.lookup_definition#

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

Searches for definition.

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

Parameters:

  • arg – Id or Constant.

  • default – Value.

Returns:

Sequent.

Raises:

LookupError – arg not in theory.

See also

lookup_definition().