ulkb.Theory.pop#

classmethod Theory.pop()[source]#

Pops theory from theory stack.

Makes the theory immediately below the popped one the new top theory.

Returns:

The popped theory.