ulkb.Theory.get_args_no_prelude#

Theory.get_args_no_prelude()[source]#

Gets theory arguments excluding prelude extensions.

Returns:

Theory arguments excluding prelude extensions.