ulkb.Theory.get_args_no_prelude# Theory.get_args_no_prelude()[source]# Gets theory arguments excluding prelude extensions. Returns: Theory arguments excluding prelude extensions.