ulkb.Theory.get_prelude_offset#

Theory.get_prelude_offset()[source]#

Gets start index of non-prelude extensions.

Returns:

Start index of non-prelude extensions.