ulkb.Object.unfold_theory#

Object.unfold_theory()#

Unfolds arguments of Theory.

Returns:

Theory’s arguments unfolded.

Raises:

TypeError – Object is not an instance of Theory.