How to convert / map a “classic” DOM Event to a React SyntheticEvent

Question

I use two libraries, one library which emits "raw" DOM events (lib.dom.d.ts), and one other library which consumes React.SyntheticEvents.

What is t