ulkb._thy#

_thy(theory=None)[source]#

Gets theory or the top theory.

If theory is not given, assumes the top theory.

Returns:

theory or the top theory.