ulkb.Object.unfold_theory_unsafe

Object.unfold_theory_unsafe()

Unfolds arguments of Theory (unsafe version).

Returns:

Theory’s arguments unfolded if object is an instance of Theory; None otherwise.