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.