A programming language designed for typescript type generation