ulkb.Theory.push#

classmethod Theory.push(theory)[source]#

Pushes theory onto theory stack.

Makes theory the new top theory.

Parameters:

theoryTheory.

Returns:

theory.