ulkb.Theory.get_prelude#

Theory.get_prelude()[source]#

Gets prelude module.

Returns:

Prelude module or None (not loaded).