Currently, they are all defined manual. It would be nice to somehow import than. The Emulator has some type hints, so this might be possible. The other possible solution would be to auto generate them.
Tern Dependencies: http://www.espruino.com/json/espruino.json