expose Sedlexing.__private_next_int
expose Sedlexing.__private_next_int

Thank you @toots for your insights from
https://github.com/FStarLang/FStar/issues/2343#issuecomment-962492550

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar