ulkb.Object.unpack_theory_unsafe

Object.unpack_theory_unsafe()

Unpacks arguments of Theory (unsafe version).

Returns:

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