ulkb.Theory.prelude_offset#

property Theory.prelude_offset#

Start index of non-prelude extensions.