Thanks for contacting us.
Indeed, there's a mismatch between the index.d.ts and the actual API. We have addressed this in our internal codebase. The fix will be available in our next update.
I have added 500 Points to your account for reporting this.
Do you want to have your say when we set our development plans?
Do you want to know when a feature you care about is added or when a bug fixed?
Telerik Feedback Portal
and vote to affect the priority of the items