Artifact for the ECOOP 2023 paper: Do Machine Learning Models Produce TypeScript Types that Type Check? - View it on GitHub