ulkb.Theory.get_prelude_offset# Theory.get_prelude_offset()[source]# Gets start index of non-prelude extensions. Returns: Start index of non-prelude extensions.