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.